Design and analysis of sequential function charts using sensor-based stage Petri nets

Shih Sen Peng, Meng Chu Zhou

Research output: Contribution to journalConference articlepeer-review

5 Scopus citations


Sequential Function Chart (SFC) is currently one of the design diagrams for automated control systems to capture the sequence of operations executed by the system's control software. This method grows so complex that locating the cause when a problem is detected becomes extremely difficult. Researchers are constantly pursuing to develop tools that eliminate the limitations and increase the design performance using SFCs. etri nets are among the most widely used tools to model and evaluate the behavior of automated control systems. Petri net control of real-world systems is achieved by mapping sensor signals and actuator commands to Petri net transitions. Being a well-defined and well-developed tool based on a mathematical formulation, PN models are used to analyze and implement real-time control for discrete industrial systems. This paper discusses a methodology to convert the SFC of an automated control 'system for design and analysis using the sensor-based stage Petri nets (SBSPN). Appropriate rules are suggested to convert all the I/O sensors of SFC into stages Petri net picture. A pneumatic control system is illustrated as an example to demonstrate the practical use of this technique.

Original languageEnglish (US)
Pages (from-to)4748-4753
Number of pages6
JournalProceedings of the IEEE International Conference on Systems, Man and Cybernetics
StatePublished - 2003
EventSystem Security and Assurance - Washington, DC, United States
Duration: Oct 5 2003Oct 8 2003

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Hardware and Architecture


  • Petri nets
  • Real-time Petri nets
  • Sensor-based stage Petri nets
  • Sequential function chart
  • Stage control net


Dive into the research topics of 'Design and analysis of sequential function charts using sensor-based stage Petri nets'. Together they form a unique fingerprint.

Cite this