Transactions on Petri Nets and Other Models of Concurrency XII

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings

Challenging Problems and Solutions in Intelligent Systems