Petri net partitioning using net splitting operation

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageUnknown
Title of host publicationIEEE International Conference on Industrial Informatics (INDIN)
Pages204-209
DOIs
Publication statusPublished - 1 Jan 2009
EventINDIN’2009 - 7th IEEE International Conference on Industrial Informatics -
Duration: 1 Jan 2009 → …

Conference

ConferenceINDIN’2009 - 7th IEEE International Conference on Industrial Informatics
Period1/01/09 → …

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