Colored Petri nets to verify extended event-driven process chains

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

15 Citations (Scopus)

Abstract

Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are growing due to the growing scale of their application and the growing degree of automation. In this paper we consider Extended Event-driven Process Chains (eEPCs), a language which is widely used for modeling business processes, documenting industrial reference models and designing workflows. We describe how to translate eEPCs into timed colored Petri nets in order to verify processes given by eEPCs with the CPN Tools.
Original languageEnglish
Title of host publicationOn the move to meaningful internet systems 2005 : CoopIS, DOA, and ODBASE
Subtitle of host publicationOTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I
EditorsR. Meersman, Z. Tari
Place of PublicationBerlin
PublisherSpringer
Chapter14
Pages183-201
Number of pages19
ISBN (Electronic)978-3-540-32116-3
ISBN (Print)3-540-29736-7, 978-3-540-29736-9
DOIs
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science
Volume3760
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'Colored Petri nets to verify extended event-driven process chains'. Together they form a unique fingerprint.

  • Cite this

    Hee, van, K. M., Oanea, O. I., & Sidorova, N. (2005). Colored Petri nets to verify extended event-driven process chains. In R. Meersman, & Z. Tari (Eds.), On the move to meaningful internet systems 2005 : CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I (pp. 183-201). (Lecture Notes in Computer Science; Vol. 3760). Springer. https://doi.org/10.1007/11575771_14