Colored Petri nets to verify extended event-driven process chains

K.M. Hee, van, O.I. Oanea, N. Sidorova

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

15 Citations (Scopus)


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
Number of pages19
ISBN (Electronic)978-3-540-32116-3
ISBN (Print)3-540-29736-7, 978-3-540-29736-9
Publication statusPublished - 2005

Publication series

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


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

Cite this