Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies

A Primer in Petri Net Design

Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets