On the verification of non-autonomous Petri net models using autonomous petri net tools

Luís Filipe dos Santos Gomes; Anikó Katalin Horváth da Costa; DEE Group Author

doi:10.1109/IECON.2012.6389077

On the verification of non-autonomous Petri net models using autonomous petri net tools

Luís Filipe dos Santos Gomes, Anikó Katalin Horváth da Costa, DEE Group Author

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Citation (Scopus)

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.

Original language	Unknown
Title of host publication	38th Annual Conference on IEEE Industrial Electronics Society (IECON 2012)
Pages	6138 -6143
Volume	372
ISBN (Electronic)	978-1-4673-2420-5
DOIs	https://doi.org/10.1109/IECON.2012.6389077
Publication status	Published - 1 Jan 2012
Event	IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society - Duration: 1 Jan 2012 → …

Conference

Conference	IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society
Period	1/01/12 → …

Access to Document

10.1109/IECON.2012.6389077

Cite this

@inproceedings{af891600fc8c4e05b57cf295fec894a3,

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.",

keywords = "Petri, Nets",

author = "Gomes, {Lu{\'i}s Filipe dos Santos} and Costa, {Anik{\'o} Katalin Horv{\'a}th da} and {DEE Group Author}",

year = "2012",

month = jan,

day = "1",

doi = "10.1109/IECON.2012.6389077",

language = "Unknown",

isbn = "978-1-4673-2419-9",

volume = "372",

pages = "6138 --6143",

booktitle = "38th Annual Conference on IEEE Industrial Electronics Society (IECON 2012)",

note = "IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society ; Conference date: 01-01-2012",

}

Gomes, LFDS , Costa, AKHD & DEE Group Author 2012, On the verification of non-autonomous Petri net models using autonomous petri net tools. in 38th Annual Conference on IEEE Industrial Electronics Society (IECON 2012). vol. 372, pp. 6138 -6143, IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 1/01/12. https://doi.org/10.1109/IECON.2012.6389077

On the verification of non-autonomous Petri net models using autonomous petri net tools. / Gomes, Luís Filipe dos Santos ; Costa, Anikó Katalin Horváth da; DEE Group Author.
38th Annual Conference on IEEE Industrial Electronics Society (IECON 2012). Vol. 372 2012. p. 6138 -6143.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - On the verification of non-autonomous Petri net models using autonomous petri net tools

AU - Gomes, Luís Filipe dos Santos

AU - Costa, Anikó Katalin Horváth da

AU - DEE Group Author

PY - 2012/1/1

Y1 - 2012/1/1

N2 - 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.

AB - 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.

KW - Petri

KW - Nets

U2 - 10.1109/IECON.2012.6389077

DO - 10.1109/IECON.2012.6389077

M3 - Conference contribution

SN - 978-1-4673-2419-9

VL - 372

SP - 6138

EP - 6143

BT - 38th Annual Conference on IEEE Industrial Electronics Society (IECON 2012)

T2 - IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society

Y2 - 1 January 2012

ER -