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.
Chapter PDF
Similar content being viewed by others
References
Brisolara, L.C.B., Kreutz, M.E., Carro, L.: UML as Front-End Language for Embedded Systems Design. In: Gomes, L., Fernandes, J.M. (eds.) Behavioral Modeling for Embedded Systems and Technologies: Application for Design and Implementation, pp. 1–23. Information Science Reference, Hershey (2009)
Gargantini, A., Riccobene, E., Scandurra, P.: Model-Driven Design and ASM Validation of Embedded Systems. In: Gomes, L., Fernandes, J.M. (eds.) Behavioral Modeling for Embedded Systems and Technologies: Application for Design and Implementation, pp. 24–54. Information Science Reference, Hershey (2009)
Girault, C., Valk, R.: Petri nets for systems engineering: A Guide to Modeling. Verification and Applicatons. Springer, Heidelberg (2003)
Reisig, W.: Petri nets: An Introduction. Springer, New York (1985)
Costa, A., Gomes, L.: Petri net Partitioning Using net Splitting Operation. In: 7th IEEE International Conference on Industrial Informatics (2009)
OMG: Object Management Group (2009), http://www.omg.org
Miller, J., Mukerji, J.: Mda guide version 1.0.1. Object Management Group, OMG (2003)
Barbosa, P., Ramalho, F., Figueiredo, J., Junior, A., Costa, A., Gomes, L.: Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. Journal of Universal Computer Science (JUCS) 15(11), 2196–2224 (2009), http://www.jucs.org/jucs_15_11/checking_semantics_equivalence_of
Christensen, S., Hansen, N.D.: Coloured Petri Nets Extended with Channels for Synchronous Communication. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol. 815, pp. 159–178. Springer, Heidelberg (1994)
Silva, M.: Las Redes de Petri: En la Automática y la Informática. Editorial AC, Madrid (1985)
Barros, J.P., Gomes, L.: Net Model Composition and Modification by Net Operations: A Pragmatic Approach. In: 2nd IEEE International Conference on Industrial Informatics, Berlin, Germany, June 24-26 (2004)
Maude system and tools, http://maude.cs.uiuc.edu/maude1/tutorial/
Clavel, M., Durán, F., Eker, S., Lincoln, P.: Martí -Oliet, N., Meseguer, J., Quesada, J.F.: Maude: Specification and programming in rewriting logic. Theoretical Computer Science (2001)
Specification patterns for temporal logic model-checking. SAnTos Laboratories, http://patterns.projects.cis.ksu.edu/documentation/patterns/ltl.shtml
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 IFIP International Federation for Information Processing
About this paper
Cite this paper
Costa, A., Barbosa, P., Gomes, L., Ramalho, F., Figueiredo, J., Junior, A. (2010). Properties Preservation in Distributed Execution of Petri Nets Models. In: Camarinha-Matos, L.M., Pereira, P., Ribeiro, L. (eds) Emerging Trends in Technological Innovation. DoCEIS 2010. IFIP Advances in Information and Communication Technology, vol 314. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11628-5_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-11628-5_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-11627-8
Online ISBN: 978-3-642-11628-5
eBook Packages: Computer ScienceComputer Science (R0)