Paper Info
Title
On structuring mechanisms for Petri nets based system design
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.
Year
DOI
Venue
2003
10.1109/ETFA.2003.1248731
Emerging Technologies and Factory Automation, 2003. Proceedings. ETFA '03. IEEE Conference
Keywords
Field
DocType
Petri nets,embedded systems,hierarchical systems,reduced order systems,Petri nets,embedded systems,hierarchical decomposition,macroblocks,macroplaces,macrotransitions
Petri net,Computer science,Systems design,Real-time computing,Process architecture,Stochastic Petri net,Automation,Input/output,Structuring,Executable,Distributed computing
Conference
Volume
ISBN
Citations 
2
0-7803-7937-3
9
PageRank 
References 
Authors
0.70
7
2
Name
Order
Citations
PageRank
Luís Gomes191.37
João Paulo Barros210518.03