1st International ICST Workshop on Petri Nets Tools and Applications

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
Stefan Klink1,*, Yu Li1,*, Andreas Oberweis1,*
  • 1: Institute of Applied Informatics and Formal Description Methods (AIFB), University of Karlsruhe, 76128 Karlsruhe, Germany.
*Contact email: stefan.klink@aifb.uni-karlsruhe.de, yu.li@aifb.uni-karlsruhe.de, oberweis@aifb.uni-karlsruhe.de

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.