These Transactions publish archival papers in the broad area of Petri nets and other models of co...

These Transactions publish archival papers in the broad area of Petri nets and other models of co...

The 8th volume of ToPNoC contains revised and extended versions of a selection of the best worksh...

In modern society services and support provided by computer-based systems have become ubiquitous ...

The 11th volume of ToPNoC contains revised and extended versions of a selection of the best works...

Verification of Logs - Revealing Faulty Processes of a Medical Laboratory.- An Everlasting Secure...

Designing a Workflow System Using Coloured Petri Nets.- From Requirements via Colored Workflow Ne...

This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on...

This volume contains the proceedings of the 22nd International Conference on Application and Theo...

Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) XVII. These Transactions publ...

The 12th volume of ToPNoC contains revised and extended versions of a selection of the best works...

The 13th volume of ToPNoC contains revised and extended versions of a selection of the best works...