Title | ||
---|---|---|
On the verification of non-autonomous Petri net models using autonomous petri net tools |
Abstract | ||
---|---|---|
This paper shows how to transform the input part of a class of non-autonomous Petri net models into behaviorally equivalent autonomous models. To that end, it proposes a set of transformations and compositions to replace non-autonomous annotations by structurally equivalent net modules. The resulting model can be analyzed by existing tools for autonomous Place/Transition nets supporting a maximal step semantics and, preferably, priorities in transitions. This possibility was tested using a freely available analysis tool for Place/Transition nets. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/IECON.2012.6389077 | Montreal, QC |
Keywords | Field | DocType |
petri nets,formal verification,program diagnostics,analysis tool,autonomous petri net tools,autonomous place-transition nets,behaviorally equivalent autonomous models,nonautonomous petri net models verification | Petri net,Computer science,Theoretical computer science,Stochastic Petri net,Process architecture,Semantics,Petri dish,Formal verification | Conference |
ISSN | ISBN | Citations |
1553-572X E-ISBN : 978-1-4673-2420-5 | 978-1-4673-2420-5 | 1 |
PageRank | References | Authors |
0.39 | 4 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Barros, J.P. | 1 | 1 | 0.39 |
Luis Gomes | 2 | 253 | 31.39 |
Costa, A. | 3 | 4 | 1.20 |