Software -- Software Engineering.

This essential reference presents a comprehensive overview of cutting-edge research in applications of Petri nets in systems biology. The book will enable reade

Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays

Petri Net Synthesis for Discrete Event Control of Manufacturing Systems develops two essential resource-sharing concepts: parallel and sequential mutual exclusi