Specification and Analysis of Concurrent Systems

The COSY formalism facilitates the abstraction of synchronizational aspects of concurrent and rea...

Application and Theory of Petri Nets and Concurrency

Paradigms of Concurrency

Paradigms of Concurrency: Observations, Behaviours, and Systems - a Petri Net View - Ryszard Jani...