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

Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets

Understanding the Digital World: Modeling with HERAKLIT