Detalhes bibliográficos
| 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. |
|---|
| Autores principais: | Barros, João |
|---|
| Outros Autores: | Gomes, Luis; Costa, Aniko |
|---|
| Assunto: | Petri Net |
|---|
| Ano: | 2012 |
|---|
| País: | Portugal |
|---|
| Tipo de documento: | comunicação em conferência |
|---|
| Tipo de acesso: | acesso restrito |
|---|
| Instituição associada: | Instituto Politécnico de Beja |
|---|
| Idioma: | inglês |
|---|
| Origem: | Repositório Institucional do IPBeja |
|---|