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

Document Type

Article

Publication Date

7-1-2008

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. © 2008 IEEE.

Identifier

46649102041 (Scopus)

Publication Title

IEEE Transactions on Systems Man and Cybernetics Part A Systems and Humans

External Full Text Location

https://doi.org/10.1109/TSMCA.2008.923064

ISSN

10834427

First Page

791

Last Page

801

Issue

4

Volume

38

Grant

60534060

Fund Ref

Ministry of Education

This document is currently not available here.

Share

COinS