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.

Journals publishing in this area

1

IEEE Transactions on Automatic Control

ISSN 0018-9286941 articles in this topic

474h-index

3.89Impact

26.9KArticles

1.5MCitations

2

Automatica

ISSN 0005-1098389 articles in this topic

397h-index

4.20Impact

15.6KArticles

1.1MCitations