DocumentCode :
2335059
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
Volume :
2
fYear :
2003
fDate :
16-19 Sept. 2003
Firstpage :
431
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Emerging Technologies and Factory Automation, 2003. Proceedings. ETFA '03. IEEE Conference
Print_ISBN :
0-7803-7937-3
Type :
conf
DOI :
10.1109/ETFA.2003.1248731
Filename :
1248731
Link To Document :
بازگشت