Title :
On structuring mechanisms for Petri nets based system design
Author :
Gomes, Luis ; Barros, Jolo Paul
Author_Institution :
Dept. of Electrochem. Eng., Univ. Nova de Lisboa, Portugal
Abstract :
This paper presents several structuring techniques applied to high-level Petri net models of embedded systems. Several modeling aspects are covered supporting the module concept, from the input and output structured modeling, and node structuring mechanism, to the more traditional hierarchical decomposition. Three types of Petri net nodes are used to support module representation: macro-places, macro-transitions and macro-blocks. Specific techniques to produce the executable model from the hierarchically structured model are presented. An application to an automation example is also presented.
Keywords :
Petri nets; embedded systems; hierarchical systems; reduced order systems; Petri nets; embedded systems; hierarchical decomposition; macroblocks; macroplaces; macrotransitions; Automation; Concurrent computing; Data processing; Embedded system; History; Petri nets; Proposals;
Conference_Titel :
Emerging Technologies and Factory Automation, 2003. Proceedings. ETFA '03. IEEE Conference
Print_ISBN :
0-7803-7937-3
DOI :
10.1109/ETFA.2003.1248731