Paper Info
Title
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.
Year
DOI
Venue
2010
10.1007/978-3-642-11628-5_26
IFIP Advances in Information and Communication Technology
Keywords
Field
DocType
Petri net,model decomposition,distributed execution,model checking
Model checking,Petri net,Embedded system design,Computer science,Stochastic Petri net,Process architecture,Model decomposition,System requirements specification,Rotation formalisms in three dimensions,Distributed computing
Conference
Volume
ISSN
Citations 
314
1868-4238
2
PageRank 
References 
Authors
0.36
4
6
Name
Order
Citations
PageRank
Aniko Costa15213.92
Paulo E. S. Barbosa2235.14
Luís Gomes38722.71
Franklin Ramalho46512.86
Jorge C. A. de Figueiredo514714.57
Antonio D. dos S. Junior6121.43