Intrinsically Live Structures in Process and Resource-Oriented Petri Nets Modeling Automated Manufacturing Systems
Résumé
This paper deals with structural liveness characterization of Resource-Oriented Petri Nets and its application to Automated Manufacturing Systems.