Modeling and Analysis of Stage Machinery Control Systems by Timed Colored Petri Nets
Résumé
This paper presents an approach and successful experience of applying timed colored Petri nets on modeling and analyzing a stage machinery control system. The programmable logic controllers (PLCs) based system is modeled with timing constraints. The compositionality is incorporated in the modeling process of the entire design. The PLC synchronization problem with the interactions of environment is analyzed by the state space analysis method. The case studies demonstrate the effectiveness of the approach.
Domaines
Génie logiciel [cs.SE]
Fichier principal
Modeling_and_Analysis_of_Stage_Machinery_Control_systems_by_timed_colored_Petri_net.PDF (2.33 Mo)
Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...