PNML based composition in non-autonomous Petri net models

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The Petri Net Markup Language (PNML) allows the specification of Petri net models based on their primitive elements: places, transitions, and arcs. This paper proposes a complementary way to define non-autonomous Petri net models, based on model addition. The net addition operation is applied at two levels: the structural level (related with the autonomous part of the Petri net model) and the annotations level (related with the non-autonomous part of the Petri net model, and supporting representation for input and output signals and events). This approach allows the construction and modification of Petri net models in a flexible way supporting not only modular composition, but also model modifications. The net addition operator was implemented as a tool and integrated in a framework allowing graphical editing of nets and compositions, as well as automatic code generation to C and VHDL and deployment into implementation platforms, such as microcontrollers and FPGA (Field-Programmable Gate Array). The paper illustrates the application of the net addition operation to an example of a controller for an automation system.
Original languageUnknown
Title of host publicationAnnual Conference of the IEEE Industrial Electronics Society
Pages4377-4382
DOIs
Publication statusPublished - 1 Jan 2009
EventIECON’2009 – 35th Annual Conference of the IEEE Industrial Electronics Society -
Duration: 1 Jan 2009 → …

Conference

ConferenceIECON’2009 – 35th Annual Conference of the IEEE Industrial Electronics Society
Period1/01/09 → …

Cite this

Gomes, L. F. D. S., & DEE Group Author (2009). PNML based composition in non-autonomous Petri net models. In Annual Conference of the IEEE Industrial Electronics Society (pp. 4377-4382) https://doi.org/10.1109/IECON.2009.5414908