Properties Preservation in Distributed Execution of Petri Nets Models

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

8 Citations (Scopus)

Abstract

Model-based development for embedded system design has been used to support the increase of system窶冱 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.
Original languageUnknown
Title of host publicationIFIP Advances in Information and Communication Technology,
Pages241-250
DOIs
Publication statusPublished - 1 Jan 2010
EventDoCEIS'10 - Doctoral Conference on Computing, Electrical and Industrial Systems -
Duration: 1 Jan 2010 → …

Conference

ConferenceDoCEIS'10 - Doctoral Conference on Computing, Electrical and Industrial Systems
Period1/01/10 → …

Cite this

Gomes, L. F. D. S., Costa, A. K. H. D., & DEE Group Author (2010). Properties Preservation in Distributed Execution of Petri Nets Models. In IFIP Advances in Information and Communication Technology, (pp. 241-250) https://doi.org/10.1007/978-3-642-11628-5_26