Please use this identifier to cite or link to this item:
acessibilidade
http://hdl.handle.net/20.500.12207/703
Title: | Structuring and composability issues in Petri nets modeling |
Authors: | Gomes, Luís Barros, João Paulo |
Keywords: | Hierarchies Model abstraction Model composition Model refinement Objects Structuring mechanisms |
Issue Date: | May-2005 |
Publisher: | IEEE |
Citation: | [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. |
Abstract: | 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. |
Peer reviewed: | yes |
URI: | http://hdl.handle.net/20.500.12207/703 |
ISSN: | 1551-3203 |
Publisher version: | http://dx.doi.org/10.1109/TII.2005.844433 |
Appears in Collections: | D-ENG - Artigos em revistas com peer review |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Structuring and composability issues in Petri nets modeling.pdf | 560.66 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.