Petri net partitioning using net splitting operation

Luís Filipe dos Santos Gomes; Anikó Katalin Horváth da Costa; DEE Group Author

doi:10.1109/INDIN.2009.5195804

Petri net partitioning using net splitting operation

Luís Filipe dos Santos Gomes, Anikó Katalin Horváth da Costa, DEE Group Author

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

32 Citations (Scopus)

Abstract

The goal of the work presented in this paper is to contribute for the usage of Petri nets as the system-level specification language within the framework of hardware-software co-design of embedded systems, supporting system model partitioning into components. The paper presents the set of rules of the Petri net splitting operation based on the definition of a valid cutting set and able to divide a Petri net model into several sub-models which communicate through synchronous channels. The generated sub-models are associated with components to be executed concurrently and mapped into hardware or software components at the implementation level. The decomposition of the model is achieved using a set of three rules. Usage of this operation is presented using an automation system example, allowing splitting of the system model in order to obtain specifications for a set of distributed controllers.

Original language	Unknown
Title of host publication	IEEE International Conference on Industrial Informatics (INDIN)
Pages	204-209
DOIs	https://doi.org/10.1109/INDIN.2009.5195804
Publication status	Published - 1 Jan 2009
Event	INDIN’2009 - 7th IEEE International Conference on Industrial Informatics - Duration: 1 Jan 2009 → …

Conference

Conference	INDIN’2009 - 7th IEEE International Conference on Industrial Informatics
Period	1/01/09 → …

Access to Document

10.1109/INDIN.2009.5195804

http://oa.uninova.pt/1858/

Cite this

Gomes, L. F. D. S., Costa, A. K. H. D., & DEE Group Author (2009). Petri net partitioning using net splitting operation. In IEEE International Conference on Industrial Informatics (INDIN) (pp. 204-209) https://doi.org/10.1109/INDIN.2009.5195804

@inproceedings{d3bca6184a36494e8f585e340bf5fc88,

title = "Petri net partitioning using net splitting operation",

abstract = "The goal of the work presented in this paper is to contribute for the usage of Petri nets as the system-level specification language within the framework of hardware-software co-design of embedded systems, supporting system model partitioning into components. The paper presents the set of rules of the Petri net splitting operation based on the definition of a valid cutting set and able to divide a Petri net model into several sub-models which communicate through synchronous channels. The generated sub-models are associated with components to be executed concurrently and mapped into hardware or software components at the implementation level. The decomposition of the model is achieved using a set of three rules. Usage of this operation is presented using an automation system example, allowing splitting of the system model in order to obtain specifications for a set of distributed controllers.",

author = "Gomes, {Lu{\'i}s Filipe dos Santos} and Costa, {Anik{\'o} Katalin Horv{\'a}th da} and {DEE Group Author}",

year = "2009",

month = "1",

day = "1",

doi = "10.1109/INDIN.2009.5195804",

language = "Unknown",

isbn = "978-1-4244-3759-7",

pages = "204--209",

booktitle = "IEEE International Conference on Industrial Informatics (INDIN)",

}

TY - GEN

T1 - Petri net partitioning using net splitting operation

AU - Gomes, Luís Filipe dos Santos

AU - Costa, Anikó Katalin Horváth da

AU - DEE Group Author

PY - 2009/1/1

Y1 - 2009/1/1

N2 - The goal of the work presented in this paper is to contribute for the usage of Petri nets as the system-level specification language within the framework of hardware-software co-design of embedded systems, supporting system model partitioning into components. The paper presents the set of rules of the Petri net splitting operation based on the definition of a valid cutting set and able to divide a Petri net model into several sub-models which communicate through synchronous channels. The generated sub-models are associated with components to be executed concurrently and mapped into hardware or software components at the implementation level. The decomposition of the model is achieved using a set of three rules. Usage of this operation is presented using an automation system example, allowing splitting of the system model in order to obtain specifications for a set of distributed controllers.

AB - The goal of the work presented in this paper is to contribute for the usage of Petri nets as the system-level specification language within the framework of hardware-software co-design of embedded systems, supporting system model partitioning into components. The paper presents the set of rules of the Petri net splitting operation based on the definition of a valid cutting set and able to divide a Petri net model into several sub-models which communicate through synchronous channels. The generated sub-models are associated with components to be executed concurrently and mapped into hardware or software components at the implementation level. The decomposition of the model is achieved using a set of three rules. Usage of this operation is presented using an automation system example, allowing splitting of the system model in order to obtain specifications for a set of distributed controllers.

U2 - 10.1109/INDIN.2009.5195804

DO - 10.1109/INDIN.2009.5195804

M3 - Conference contribution

SN - 978-1-4244-3759-7

SP - 204

EP - 209

BT - IEEE International Conference on Industrial Informatics (INDIN)

ER -