Description
Transactions on Petri Nets and Other Models of Concurrency IX, 2014
Transactions on Petri Nets and Other Models of Concurrency Series
Coordinators: Koutny Maciej, Haddad Serge, Yakovlev Alex
Language: EnglishSubject for Transactions on Petri Nets and Other Models of...:
179 p. · 15.5x23.5 cm · Paperback
Description
/li>Contents
/li>Comment
/li>
Contains revised selected papers from the workshops held at Petri Nets 2013 and ACSD 2013
Topics covered range from model checking and system verification to foundational work on specific classes of Petri nets
Application areas include biological systems, communication protocols, business processes, distributed systems, and multi-agent systems
Includes supplementary material: sn.pub/extras