Properties Preservation in Distributed Execution of Petri Nets Models

Abstract : Model-based development for embedded system design has been used to support the increase of system's complexity. Several modeling formalisms are well matched for usage within this area. One of the goals of this work is to contribute to the usage of Petri nets as system specification language within model-based development of embedded systems having MDA proposals as a reference for the development flow. Distributed execution of the Petri net model is achieved through model partitioning into sub-modules. System decomposition is obtained through net splitting operation. Two types of implementation platforms were considered: compliant and non-compliant with zero time delay for communication between modules. Using model-checking techniques, properties associated with the execution of the distributed models in both types of platforms were compared with the execution of the initial (centralized) Petri net model.
Type de document :
Communication dans un congrès
Luis M. Camarinha-Matos; Pedro Pereira; Luis Ribeiro. First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2010, Costa de Caparica, Portugal. Springer, IFIP Advances in Information and Communication Technology, AICT-314, pp.239-248, 2010, Emerging Trends in Technological Innovation. 〈10.1007/978-3-642-11628-5_26〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01060809
Contributeur : Hal Ifip <>
Soumis le : vendredi 17 novembre 2017 - 16:25:32
Dernière modification le : mercredi 29 novembre 2017 - 10:59:02
Document(s) archivé(s) le : dimanche 18 février 2018 - 16:47:39

Fichier

CostaBGRFJ10.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Anikó Costa, Paulo Barbosa, Luís Gomes, Franklin Ramalho, Jorge Figueiredo, et al.. Properties Preservation in Distributed Execution of Petri Nets Models. Luis M. Camarinha-Matos; Pedro Pereira; Luis Ribeiro. First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2010, Costa de Caparica, Portugal. Springer, IFIP Advances in Information and Communication Technology, AICT-314, pp.239-248, 2010, Emerging Trends in Technological Innovation. 〈10.1007/978-3-642-11628-5_26〉. 〈hal-01060809〉

Partager

Métriques

Consultations de la notice

114

Téléchargements de fichiers

6