Petri Nets in System Modeling

Petri nets are a mathematical formalism for representing systems where multiple processes occur simultaneously and interact through shared resources, making them well-suited for analyzing factories, communication protocols, and distributed software. Researchers use them to ask precise questions about system behavior: can the system reach a state where nothing can proceed, and if so, how should a controller intervene to prevent it? Active work focuses on scaling these analyses to large, realistic systems — particularly flexible manufacturing lines where machines share tools and buffers — and on diagnosability, the problem of determining whether a faulty internal event can always be detected from observable outputs alone. Stochastic extensions that incorporate timing and uncertainty are also an ongoing area, as many real systems behave probabilistically rather than in the clean, deterministic terms that classical Petri net theory assumes.

Works

35,113

Total citations

401,834

Keywords

Petri NetsDeadlock PreventionSupervisory ControlDiscrete-Event SystemsFault DiagnosisFlexible Manufacturing Systems