Colored Petri nets to verify extended event-driven process chains

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

doi:10.1007/11575771_14

Colored Petri nets to verify extended event-driven process chains

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

Process Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	On the move to meaningful internet systems 2005 : CoopIS, DOA, and ODBASE
Subtitle of host publication	OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I
Editors	R. Meersman, Z. Tari
Place of Publication	Berlin
Publisher	Springer
Chapter	14
Pages	183-201
Number of pages	19
ISBN (Electronic)	978-3-540-32116-3
ISBN (Print)	3-540-29736-7, 978-3-540-29736-9
DOIs	https://doi.org/10.1007/11575771_14
Publication status	Published - 2005

Publication series

Name	Lecture Notes in Computer Science
Volume	3760
ISSN (Print)	0302-9743

Access to Document

10.1007/11575771_14

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

Hee, van, K.M. ; Oanea, O.I. ; Sidorova, N. / Colored Petri nets to verify extended event-driven process chains. 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. editor / R. Meersman ; Z. Tari. Berlin : Springer, 2005. pp. 183-201 (Lecture Notes in Computer Science).

@inproceedings{f7960f1b7e00470ab30a78c00b747bc0,

title = "Colored Petri nets to verify extended event-driven process chains",

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.",

author = "{Hee, van}, K.M. and O.I. Oanea and N. Sidorova",

year = "2005",

doi = "10.1007/11575771_14",

language = "English",

isbn = "3-540-29736-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "183--201",

editor = "R. Meersman and Z. Tari",

booktitle = "On the move to meaningful internet systems 2005 : CoopIS, DOA, and ODBASE",

address = "Germany",

}

Hee, van, KM, Oanea, OI & 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. Lecture Notes in Computer Science, vol. 3760, Springer, Berlin, pp. 183-201. https://doi.org/10.1007/11575771_14

Colored Petri nets to verify extended event-driven process chains. / Hee, van, K.M.; Oanea, O.I.; Sidorova, N.

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. ed. / R. Meersman; Z. Tari. Berlin : Springer, 2005. p. 183-201 (Lecture Notes in Computer Science; Vol. 3760).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Colored Petri nets to verify extended event-driven process chains

AU - Hee, van, K.M.

AU - Oanea, O.I.

AU - Sidorova, N.

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

U2 - 10.1007/11575771_14

DO - 10.1007/11575771_14

M3 - Conference contribution

SN - 3-540-29736-7

SN - 978-3-540-29736-9

T3 - Lecture Notes in Computer Science

SP - 183

EP - 201

BT - On the move to meaningful internet systems 2005 : CoopIS, DOA, and ODBASE

A2 - Meersman, R.

A2 - Tari, Z.

PB - Springer

CY - Berlin

ER -

Hee, van KM, Oanea OI, Sidorova N. Colored Petri nets to verify extended event-driven process chains. In Meersman R, Tari Z, editors, 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. Berlin: Springer. 2005. p. 183-201. (Lecture Notes in Computer Science). doi: 10.1007/11575771_14

Colored Petri nets to verify extended event-driven process chains

Abstract

Publication series

Access to Document

Fingerprint

Cite this