Utilize este identificador para referenciar este registo:
acessibilidade
http://hdl.handle.net/20.500.12207/703
Título: | Structuring and composability issues in Petri nets modeling |
Autor: | Gomes, Luís Barros, João Paulo |
Palavras-chave: | Hierarchies Model abstraction Model composition Model refinement Objects Structuring mechanisms |
Data: | Mai-2005 |
Editora: | IEEE |
Citação: | [IEEE style] L. Gomes and J. P. Barros, "Structuring and composability issues in petri nets modeling," IEEE Transactions on Industrial Informatics, vol. 1, pp. 112-123, 2005. |
Resumo: | Along Petri nets' history, numerous approaches have been proposed that try to manage model size through the introduction of structuring mechanisms allowing hierarchical representations and model composability. This paper proposes a classification system for Petri nets' structuring mechanisms and discusses each one of them. These include node fusion, node vectors, high-level nets, and object-oriented inspired Petri nets extensions, among others. One running example is used emphasizing the application of the presented mechanisms to specific areas, namely to automation systems modeling, and software engineering, where object-oriented modeling plays a major role. |
Arbitragem científica: | yes |
URI: | http://hdl.handle.net/20.500.12207/703 |
ISSN: | 1551-3203 |
Versão do Editor: | http://dx.doi.org/10.1109/TII.2005.844433 |
Aparece nas coleções: | D-ENG - Artigos em revistas com peer review |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Structuring and composability issues in Petri nets modeling.pdf | 560.66 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.