About | Contact Us | Register | Login
ProceedingsSeriesJournalsSearchEAI
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

Cite
BibTeX Plain Text
  • @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.

Keywords
Petri nets XML nets software toolset information systems SOA
Published
2010-05-16
Publisher
ACM
Modified
2010-05-16
http://dx.doi.org/10.4108/ICST.SIMUTOOLS2008.3094
Copyright © 2008–2025 ICST
EBSCOProQuestDBLPDOAJPortico
EAI Logo

About EAI

  • Who We Are
  • Leadership
  • Research Areas
  • Partners
  • Media Center

Community

  • Membership
  • Conference
  • Recognition
  • Sponsor Us

Publish with EAI

  • Publishing
  • Journals
  • Proceedings
  • Books
  • EUDL