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.
Type de document :
Communication dans un congrès
Luis M. Camarinha-Matos; António J. Falcão; Nazanin Vafaei; Shirin Najdi. 7th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2016, Costa de Caparica, Portugal. IFIP Advances in Information and Communication Technology, AICT-470, pp.86-95, 2016, Technological Innovation for Cyber-Physical Systems. 〈10.1007/978-3-319-31165-4_9〉
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01438288
Contributeur : Hal Ifip <>
Soumis le : mardi 17 janvier 2017 - 15:39:15
Dernière modification le : mardi 17 janvier 2017 - 15:49:43
Document(s) archivé(s) le : mardi 18 avril 2017 - 15:10:27

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

José Ribeiro, Fernando Melício, Luis Gomes. Extending IOPT Nets with a Module Construct. Luis M. Camarinha-Matos; António J. Falcão; Nazanin Vafaei; Shirin Najdi. 7th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2016, Costa de Caparica, Portugal. IFIP Advances in Information and Communication Technology, AICT-470, pp.86-95, 2016, Technological Innovation for Cyber-Physical Systems. 〈10.1007/978-3-319-31165-4_9〉. 〈hal-01438288〉

Partager

Métriques

Consultations de la notice

91