Skip to Main content Skip to Navigation
Conference papers

Extending IOPT Nets with a Module Construct

Abstract : Input-output place-transition nets (IOPT nets) is a Petri net based formalism targeted for the development of embedded systems controllers. It is an extension to common place-transition Petri nets, introducing constructs to model the communication between the controller and the environment and using an execution semantics assuring a deterministic behavior. However, IOPT nets and the supporting tools framework - the IOPT-Tools - do not have a mechanism to support model structuring. Since models are flat, all the graphical components and annotations are visualized in the same page. Systems with several dozens of nodes become very difficult to manage. In this paper a modular construct for IOPT nets is presented, helping to manage large-scale systems, and the reuse of model components across projects. The algebraic specification of the model is provided and an example illustrating the concept is presented.
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-01438288
Contributor : Hal Ifip <>
Submitted on : Tuesday, January 17, 2017 - 3:39:15 PM
Last modification on : Tuesday, October 15, 2019 - 3:36:02 PM
Document(s) archivé(s) le : Tuesday, April 18, 2017 - 3:10:27 PM

File

419233_1_En_9_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

José Ribeiro, Fernando Melício, Luis Gomes. Extending IOPT Nets with a Module Construct. 7th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2016, Costa de Caparica, Portugal. pp.86-95, ⟨10.1007/978-3-319-31165-4_9⟩. ⟨hal-01438288⟩

Share

Metrics

Record views

140

Files downloads

383