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

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageUnknown
Title of host publicationAnnual Conference on IEEE Industrial Electronics Society
Pages6120 - 6125
ISBN (Electronic)978-1-4673-2420-5
DOIs
Publication statusPublished - 1 Jan 2012
EventIECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society -
Duration: 1 Jan 2012 → …

Conference

ConferenceIECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society
Period1/01/12 → …

Cite this