This volume contains revised and extended versions of a selection of key papers from workshops held at the 28th International Conference on Applications and The

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and in

The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on App

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and in

An introduction to the modeling of business information systems, with processes formally modeled using Petri nets. This comprehensive introduction to modeling b