In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the way people

In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the way people

Annotation In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. This volume

Petri nets were conceived in 1962 as a model of parallel systems, and have been applied to a wide range of problems. This volume presents both the basic model a

Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) II These Transactions publish archival papers in the broad area of Petri nets and other mode