Research Article
INCOME2010 - a Toolset for Developing Process-Oriented Information Systems Based on Petri Nets
@INPROCEEDINGS{10.4108/ICST.SIMUTOOLS2008.3094, author={Stefan Klink and Yu Li and Andreas Oberweis}, title={INCOME2010 - a Toolset for Developing Process-Oriented Information Systems Based on Petri Nets}, proceedings={1st International ICST Workshop on Petri Nets Tools and Applications}, publisher={ACM}, proceedings_a={PNTAP}, year={2010}, month={5}, keywords={Petri nets XML nets software toolset information systems SOA}, doi={10.4108/ICST.SIMUTOOLS2008.3094} }- Stefan Klink
Yu Li
Andreas Oberweis
Year: 2010
INCOME2010 - a Toolset for Developing Process-Oriented Information Systems Based on Petri Nets
PNTAP
ICST
DOI: 10.4108/ICST.SIMUTOOLS2008.3094
Abstract
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.