Intrinsically Live Structures in Process and Resource-Oriented Petri Nets Modeling Automated Manufacturing Systems

Ding Liu (1) , Yifan Hou , Kamel Barkaoui (1) , Mengchu Zhou

1 CEDRIC - Centre d'études et de recherche en informatique et communications

This paper deals with structural liveness characterization of Resource-Oriented Petri Nets and its application to Automated Manufacturing Systems.

Mots clés: Resource-Oriented Petri Nets; Automated Manufacturing Systems

Mots clés: Réseaux de Petri axées sur les ressources; Automatisée des systèmes de fabrication

Domaines: Informatique [cs]; Calcul parallèle, distribué et partagé [cs.DC]

Ding Liu, Yifan Hou, Kamel Barkaoui, Mengchu Zhou. Intrinsically Live Structures in Process and Resource-Oriented Petri Nets Modeling Automated Manufacturing Systems. 11th IEEE International Conference on Networking, Sensing and Control, Apr 2014, X, France. pp.13-21. ⟨hal-01126350⟩