Title :
Modeling Petri nets in EXPRESS
Author :
He, Yibo ; Goh, Angela ; Hui, Siu-Cheung
Author_Institution :
Sch. of Appl. Sci., Nanyang Technol. Inst., Singapore
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;
Conference_Titel :
Systems, Man, and Cybernetics, 1996., IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7803-3280-6
DOI :
10.1109/ICSMC.1996.571145
