For the most recent entries see the Petri Nets Newsletter.

Colored Petri Nets to Verify Extended Event-Driven Process Chains.

van Hee, Kees; Oanea, Olivia; Sidorova, Natalia

In: Robert Meersman, Zahir Tari (Eds.): Lecture Notes in Computer Science, 3760: 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,, pages 183-201. Springer-Verlag, October 2005. URL:,.

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.

Keywords: Extended EPCs, semantics, verification, colored Petri nets.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography