Preserving languages and properties in stepwise refinement-based synthesis of Petri nets

Zhi Jun Ding, Chang Jun Jiang, Meng Chu Zhou, Ya Ying Zhang

Research output: Contribution to journalArticlepeer-review

25 Scopus citations

Abstract

The current stepwise refinement operation of Petri nets mainly concentrates on property preservation, which is an effective way to analyze and verify complex systems. Further steps into this field are needed from the perspective of system synthesis and language preservation. First, the refinement of Petri nets is introduced based on a k-well-behaved Petri net, in which k tokens can be processed. Then, according to the different compositions of subsystems, well-, under- and overmatched refined Petri nets are proposed. In addition, the language and property relationships among sub-, original, and refined nets are studied to demonstrate behavior characteristics and property preservation in a system synthesis process. A manufacturing system is given as an example to illustrate the effectiveness of the proposed approach in synthesizing and analyzing the Petri nets of complex systems.

Original languageEnglish (US)
Pages (from-to)791-801
Number of pages11
JournalIEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
Volume38
Issue number4
DOIs
StatePublished - Jul 2008

All Science Journal Classification (ASJC) codes

  • Software
  • Control and Systems Engineering
  • Human-Computer Interaction
  • Computer Science Applications
  • Electrical and Electronic Engineering

Keywords

  • Automated manufacturing system
  • Complex system
  • Formal language
  • Petri net
  • Refinement
  • System synthesis

Fingerprint

Dive into the research topics of 'Preserving languages and properties in stepwise refinement-based synthesis of Petri nets'. Together they form a unique fingerprint.

Cite this