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

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

doi:10.1109/TSMCA.2008.923064

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

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

Electrical and Computer Engineering

Research output: Contribution to journal › Article › peer-review

28 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 language	English (US)
Pages (from-to)	791-801
Number of pages	11
Journal	IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
Volume	38
Issue number	4
DOIs	https://doi.org/10.1109/TSMCA.2008.923064
State	Published - Jul 2008

All Science Journal Classification (ASJC) codes

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

Keywords

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

Access to Document

10.1109/TSMCA.2008.923064

Cite this

@article{076215883503490fae9aea841421399b,

title = "Preserving languages and properties in stepwise refinement-based synthesis of Petri nets",

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.",

keywords = "Automated manufacturing system, Complex system, Formal language, Petri net, Refinement, System synthesis",

author = "Ding, {Zhi Jun} and Jiang, {Chang Jun} and Zhou, {Meng Chu} and Zhang, {Ya Ying}",

note = "Funding Information: Dr. Jiang is a member of Science and Technology Committee of the Ministry of Education and the School Affairs Committee and Science Committee of Tongji University. He has received one international prize and six prizes of Science and Technology Advancement Awards from the Ministry of Education, People{\textquoteright}s Republic of China and provincial governments. He was the recipient of the National Excellent Doctoral Dissertation and Excellent Youth Teacher Awards. He has been selected and supported by the Encouragement Program for Teaching and Researching of Excellent Young Teacher of Ministry of Education and National Preeminent Youth Foundation. Funding Information: Manuscript received October 25, 2006; revised April 3, 2007. This work was supported in part by the National Basic Research Program of China (973 Program) (2003CB317002), by the National Natural Science Funds (60534060, 90718012), by the Engineering Foundation for Young Faculty at Tongji University, Taishan Scholar Engineering Construction Found of Shandong Province, and by the Chang Jiang Scholars Program, PRC Ministry of Education. This paper was recommended by Associate Editor M. Jeng.",

year = "2008",

month = jul,

doi = "10.1109/TSMCA.2008.923064",

language = "English (US)",

volume = "38",

pages = "791--801",

journal = "IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans",

issn = "1083-4427",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "4",

}

TY - JOUR

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

AU - Ding, Zhi Jun

AU - Jiang, Chang Jun

AU - Zhou, Meng Chu

AU - Zhang, Ya Ying

N1 - Funding Information: Dr. Jiang is a member of Science and Technology Committee of the Ministry of Education and the School Affairs Committee and Science Committee of Tongji University. He has received one international prize and six prizes of Science and Technology Advancement Awards from the Ministry of Education, People’s Republic of China and provincial governments. He was the recipient of the National Excellent Doctoral Dissertation and Excellent Youth Teacher Awards. He has been selected and supported by the Encouragement Program for Teaching and Researching of Excellent Young Teacher of Ministry of Education and National Preeminent Youth Foundation. Funding Information: Manuscript received October 25, 2006; revised April 3, 2007. This work was supported in part by the National Basic Research Program of China (973 Program) (2003CB317002), by the National Natural Science Funds (60534060, 90718012), by the Engineering Foundation for Young Faculty at Tongji University, Taishan Scholar Engineering Construction Found of Shandong Province, and by the Chang Jiang Scholars Program, PRC Ministry of Education. This paper was recommended by Associate Editor M. Jeng.

PY - 2008/7

Y1 - 2008/7

N2 - 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.

AB - 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.

KW - Automated manufacturing system

KW - Complex system

KW - Formal language

KW - Petri net

KW - Refinement

KW - System synthesis

UR - http://www.scopus.com/inward/record.url?scp=46649102041&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=46649102041&partnerID=8YFLogxK

U2 - 10.1109/TSMCA.2008.923064

DO - 10.1109/TSMCA.2008.923064

M3 - Article

AN - SCOPUS:46649102041

SN - 1083-4427

VL - 38

SP - 791

EP - 801

JO - IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

JF - IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

IS - 4

ER -

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

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this