Modeling and Analysis of Stage Machinery Control Systems by Timed Colored Petri Nets

Hehua Zhang (1) , Ming Gu (1) , Xiaoyu Song (1)

1 FORMES - Formal Methods for Embedded Systems

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]

Hehua Zhang, Ming Gu, Xiaoyu Song. Modeling and Analysis of Stage Machinery Control Systems by Timed Colored Petri Nets. SIES 2008, Jun 2008, Monpellier, France. ⟨inria-00516181⟩