Structuring and composability issues in Petri nets modeling

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 mechanis...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on industrial informatics 2005-05, Vol.1 (2), p.112-123
Main Authors: Gomes, L., Joao Paulo Barros
Format: Article
Language:English
Subjects:
Application software
Automation
Computer languages
Hierarchies
History
LAN interconnection
model abstraction
model composition
model refinement
Object oriented modeling
objects
Petri nets
Proposals
Software engineering
structuring mechanisms
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1551-3203
1941-0050
DOI:10.1109/TII.2005.844433