Petri Nets in System Modeling
This cluster of papers focuses on the modeling, analysis, and control of Petri nets in various systems, with an emphasis on deadlock prevention, supervisory control, fault diagnosis, and diagnosability analysis in the context of discrete-event systems and flexible manufacturing systems. It also covers topics such as formal methods, stochastic Petri nets, and concurrency modeling.
Papers listed on taxonomy pages are the top few works per node from the OpenAlex snapshot. That list is not exhaustive and is not an endorsement. The topic map and the journal registry remain separate: there is still no authoritative topic-to-venue or topic-to-organization edge. Search is a lexical lookup, not a claim that a venue publishes a topic.