Petri Nets in System Modeling

Petri nets are a mathematical formalism for modeling systems where multiple processes run concurrently and interact through shared resources, making them well suited for analyzing factories, communication protocols, and distributed software. Researchers use them to reason about properties like deadlock — situations where a system freezes because every process is waiting on another — and to design supervisory controllers that keep such systems running safely within intended boundaries. When a system malfunctions, Petri net models also support fault diagnosis, helping engineers determine from observable behavior which internal component has failed and whether a given failure is even detectable in principle, a property called diagnosability. Active research directions include scaling these analyses to the large, complex nets that realistic industrial systems require, and extending classical results to stochastic settings where timing and probabilities play a central role.

Works

34,978

Total citations

400,944

Keywords

Petri NetsDeadlock PreventionSupervisory ControlDiscrete-Event SystemsFault DiagnosisFlexible Manufacturing Systems