Modeling Petri nets in EXPRESS

Author

He, Yibo ; Goh, Angela ; Hui, Siu-Cheung

Author_Institution

Sch. of Appl. Sci., Nanyang Technol. Inst., Singapore

Volume

2

fYear

1996

fDate

14-17 Oct 1996

Firstpage

853

Abstract

In this paper, a semantic model for a Petri net using STEP/EXPRESS language is proposed. The objectives of this model are to capture the various aspects of a process in order to support process design and provide a neutral expression for data exchange among systems which are modeled by Petri nets. The semantic model consists of two schemata: transition description schema, transition and resource property representation schema. Together, they describe the state and transition of a system, and integrate management and control information with transitions. This model of Petri net has the advantage of clear and neutral expression, and is hierarchical and object oriented in nature. It is more effective for process description and system analysis

Keywords

Petri nets; object-oriented methods; Petri net; STEP/EXPRESS language; process description; semantic model; system analysis; transition and resource property representation schema; transition description schema; Control system synthesis; Control systems; Formal languages; Graphics; Helium; Information management; Information systems; Object oriented modeling; Petri nets; Process design;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 1996., IEEE International Conference on

Conference_Location

Beijing

ISSN

1062-922X

Print_ISBN

0-7803-3280-6

Type

conf

DOI

10.1109/ICSMC.1996.571145

Filename

571145