DocumentCode :
2637654
Title :
Extending a net splitting operation for decomposition of high-level Petri nets
Author :
Moutinho, Filipe ; Gomes, L.
Author_Institution :
Fac. de Cienc. e Tecnol., Univ. Nova de Lisboa, Lisbon, Portugal
fYear :
2012
fDate :
25-28 Oct. 2012
Firstpage :
6120
Lastpage :
6125
Abstract :
This paper presents an extension to a net splitting operation for decomposition of high-level Petri nets, to support distributed implementations of embedded systems. The net splitting operation, selected from the survey of methods summarized in this paper, was originally proposed for low-level Petri nets. The advantages of the selected method are its higher flexibility on the cutting set definition, and the generation of sub-models in interaction with adequate support to implement its communication channels. High-level Petri net classes are extended to support the application of the new net operation, and additional tasks to be performed are identified. Finally, an example is used to illustrate the application of the net operation to a high-level Petri net model.
Keywords :
Petri nets; embedded systems; formal specification; communication channels; cutting set definition; embedded systems; high-level Petri net decomposition; net operation; net splitting operation;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society
Conference_Location :
Montreal, QC
ISSN :
1553-572X
Print_ISBN :
978-1-4673-2419-9
Electronic_ISBN :
1553-572X
Type :
conf
DOI :
10.1109/IECON.2012.6389080
Filename :
6389080
Link To Document :
بازگشت