Modeling and Analysis of Stage Machinery Control Systems by Timed Colored Petri Nets - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2008

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

Abstract

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.
Fichier principal
Vignette du fichier
Modeling_and_Analysis_of_Stage_Machinery_Control_systems_by_timed_colored_Petri_net.PDF (2.33 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00516181 , version 1 (09-09-2010)

Identifiers

  • HAL Id : inria-00516181 , version 1

Cite

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⟩
111 View
113 Download

Share

Gmail Facebook X LinkedIn More