Petri Nets in System Modeling

Petri nets are a mathematical formalism for modeling systems where multiple processes can run simultaneously and interact through shared resources, making them particularly well suited for analyzing factories, communication protocols, and distributed software. Researchers use them to ask precise questions: under what conditions will a system reach a state where nothing can proceed (deadlock), and how can a controller be designed to prevent that without unnecessarily restricting normal operation? A parallel concern is fault diagnosis — determining, from observable system behavior alone, whether and where a hidden failure has occurred, a property known as diagnosability. Active work is pushing these analyses toward larger, more complex systems where the state spaces are too vast to examine exhaustively, driving the development of compositional methods, structural shortcuts, and stochastic extensions that can handle uncertainty.

Works

35,350

Total citations

402,916

Keywords

Petri NetsDeadlock PreventionSupervisory ControlDiscrete-Event SystemsFault DiagnosisFlexible Manufacturing Systems