Extending a net splitting operation for decomposition of high-level Petri nets

Filipe Moutinho; Luís Filipe dos Santos Gomes

doi:10.1109/IECON.2012.6389080

Extending a net splitting operation for decomposition of high-level Petri nets

Filipe Moutinho, Luís Filipe dos Santos Gomes

DEE - Departamento de Engenharia Electrotécnica e de Computadores

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

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.

Original language	Unknown
Title of host publication	Annual Conference on IEEE Industrial Electronics Society
Pages	6120 - 6125
ISBN (Electronic)	978-1-4673-2420-5
DOIs	https://doi.org/10.1109/IECON.2012.6389080
Publication status	Published - 1 Jan 2012
Event	IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society - Duration: 1 Jan 2012 → …

Conference

Conference	IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society
Period	1/01/12 → …

Access to Document

10.1109/IECON.2012.6389080

Cite this

@inproceedings{0f3e881c1c4d41fd8d961e273f52ea88,

title = "Extending a net splitting operation for decomposition of high-level Petri nets",

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.",

author = "Filipe Moutinho and Gomes, {Lu{\'i}s Filipe dos Santos}",

year = "2012",

month = jan,

day = "1",

doi = "10.1109/IECON.2012.6389080",

language = "Unknown",

isbn = "978-1-4673-2419-9",

pages = "6120 -- 6125",

booktitle = "Annual Conference on IEEE Industrial Electronics Society",

note = "null ; Conference date: 01-01-2012",

}

TY - GEN

T1 - Extending a net splitting operation for decomposition of high-level Petri nets

AU - Moutinho, Filipe

AU - Gomes, Luís Filipe dos Santos

PY - 2012/1/1

Y1 - 2012/1/1

N2 - 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.

AB - 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.

U2 - 10.1109/IECON.2012.6389080

DO - 10.1109/IECON.2012.6389080

M3 - Conference contribution

SN - 978-1-4673-2419-9

SP - 6120

EP - 6125

BT - Annual Conference on IEEE Industrial Electronics Society

Y2 - 1 January 2012

ER -