Utilize este identificador para referenciar este registo:
acessibilidade
http://hdl.handle.net/20.500.12207/4471
Título: | Towards the use of Place/Transition net tools for analysis of IOPT models |
Autor: | Barros, João Paulo Gomes, Luís |
Data: | 2014 |
Editora: | IEEE |
Resumo: | This papers proposes a translation from IOPT nets, a class of non-autonomous Petri nets, to Place/Transition nets. The translation removes most of the non-autonomous extensions in IOPT net models using a set of behaviorally equivalent submodels. The resulting model is complemented by additional models, which specify the non-autonomous parts, namely signals and events. All models are composed together using net addition, a composition operator. The translation allows the application of analysis and verification Place/Transition tools to IOPT net models. The translation preserves the initial model structure allowing a mapping between the generated model and the initial one, and brings to evidence the level of compactness made possible by IOPT nets. |
Arbitragem científica: | yes |
URI: | http://hdl.handle.net/20.500.12207/4471 |
Aparece nas coleções: | D-ENG - Comunicações 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.