High-level Petri nets: theory and application
High-level Petri nets: theory and application
INCOME/STAR: methodology and tools for the development of distributed information systems
Information Systems - Special issue: distributed information systems in business and management
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
YAWL: yet another workflow language
Information Systems
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
Modelling and validation with VipTool
BPM'03 Proceedings of the 2003 international conference on Business process management
An integrated approach for modeling and facilitating RFID-based collaborative logistics processes
Proceedings of the 2011 ACM Symposium on Applied Computing
| Hi-index | 0.00 |
Petri nets are widely accepted as a process modeling technique with formal semantics and mathematical foundation. They are well suitable for modeling (business) processes in executable form and for analyzing process models through simulative validation and formal verification. Nevertheless, there are currently only a small number of Petri net based tools available for developing process-oriented information systems, which have gained importance in recent years because of the awareness that business processes are one of the key success factors for organizations. In this paper we survey the project INCOME2010 aiming at developing an open source software toolset that facilitates the development of process-oriented information systems. It provides functionalities for modeling, analyzing, executing, and monitoring (business) processes using variants of high-level Petri nets and concepts of Service-Oriented Architecture.