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
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;
Conference_Titel :
IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society
Conference_Location :
Montreal, QC
Print_ISBN :
978-1-4673-2419-9
Electronic_ISBN :
1553-572X
DOI :
10.1109/IECON.2012.6389080