Utilize este identificador para referenciar este registo:
acessibilidade
http://hdl.handle.net/20.500.12207/659
Título: | On the verification of non-autonomous Petri net models using autonomous petri net tools |
Autor: | Barros, João Paulo Gomes, Luis Costa, Aniko |
Palavras-chave: | Petri Net |
Data: | Out-2012 |
Editora: | IEEE |
Citação: | [IEEE style] J. P. Barros, L. Gomes, A. Costa, and I. I. E. Society, "On the Verification of Non-autonomous Petri Net Models Using Autonomous Petri Net Tools," 38th Annual Conference on Ieee Industrial Electronics Society (Iecon 2012), pp. 6138-6143, 2012. |
Resumo: | 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. |
Arbitragem científica: | yes |
URI: | https://hdl.handle.net/20.500.12207/659 |
ISBN: | 978-146732421-2 |
Aparece nas coleções: | D-ENG - Artigos em revistas com peer review |
Ficheiros deste registo:
Não existem ficheiros associados a este registo.
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.