Advanced Reduction Rules for the Verification of EPC Business Process Models

Jan Mendling; Wil M. P. van der Aalst

Advanced Reduction Rules for the Verification of EPC Business Process Models

Jan Mendling, Wil M. P. van der Aalst

Institute for Data, Process and Knowledge Management (AE Sabou)

Publication: Chapter in book/Conference proceeding › Contribution to conference proceedings

Original language	English
Title of host publication	SIGSAND-EUROPE 2008: Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems, June 12 - 13, 2008, Marburg,Germany
Editors	Wolfgang Hesse, Andreas Oberweis
Place of Publication	Lecture Notes in Informatics, Volume 129
Publisher	Gesellschaft für Informatik, Bonn
Pages	129 - 140
ISBN (Print)	978-3-88579-223-9
Publication status	Published - 1 Dec 2008

Check availability

University Library Catalogue

Cite this

Mendling, J., & M. P. van der Aalst, W. (2008). Advanced Reduction Rules for the Verification of EPC Business Process Models. In Wolfgang Hesse, Andreas Oberweis (Ed.), SIGSAND-EUROPE 2008: Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems, June 12 - 13, 2008, Marburg,Germany (pp. 129 - 140). Gesellschaft für Informatik, Bonn.

Mendling, Jan ; M. P. van der Aalst, Wil. / Advanced Reduction Rules for the Verification of EPC Business Process Models. SIGSAND-EUROPE 2008: Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems, June 12 - 13, 2008, Marburg,Germany. editor / Wolfgang Hesse, Andreas Oberweis. Lecture Notes in Informatics, Volume 129 : Gesellschaft für Informatik, Bonn, 2008. pp. 129 - 140

@inproceedings{c0817c4be93f446c825faaf349f84bd1,

title = "Advanced Reduction Rules for the Verification of EPC Business Process Models",

author = "Jan Mendling and {M. P. van der Aalst}, Wil",

year = "2008",

month = dec,

day = "1",

language = "English",

isbn = "978-3-88579-223-9",

pages = "129 -- 140",

editor = "{Wolfgang Hesse, Andreas Oberweis}",

booktitle = "SIGSAND-EUROPE 2008: Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems, June 12 - 13, 2008, Marburg,Germany",

publisher = "Gesellschaft f{\"u}r Informatik, Bonn",

}

Mendling, J & M. P. van der Aalst, W 2008, Advanced Reduction Rules for the Verification of EPC Business Process Models. in Wolfgang Hesse, Andreas Oberweis (ed.), SIGSAND-EUROPE 2008: Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems, June 12 - 13, 2008, Marburg,Germany. Gesellschaft für Informatik, Bonn, Lecture Notes in Informatics, Volume 129, pp. 129 - 140.

Advanced Reduction Rules for the Verification of EPC Business Process Models. / Mendling, Jan; M. P. van der Aalst, Wil.
SIGSAND-EUROPE 2008: Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems, June 12 - 13, 2008, Marburg,Germany. ed. / Wolfgang Hesse, Andreas Oberweis. Lecture Notes in Informatics, Volume 129: Gesellschaft für Informatik, Bonn, 2008. p. 129 - 140.

Publication: Chapter in book/Conference proceeding › Contribution to conference proceedings

TY - GEN

T1 - Advanced Reduction Rules for the Verification of EPC Business Process Models

AU - Mendling, Jan

AU - M. P. van der Aalst, Wil

PY - 2008/12/1

Y1 - 2008/12/1

UR - http://mendling.com/publications/08-SIGSAND-Aalst.pdf

M3 - Contribution to conference proceedings

SN - 978-3-88579-223-9

SP - 129

EP - 140

BT - SIGSAND-EUROPE 2008: Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems, June 12 - 13, 2008, Marburg,Germany

A2 - Wolfgang Hesse, Andreas Oberweis, null

PB - Gesellschaft für Informatik, Bonn

CY - Lecture Notes in Informatics, Volume 129

ER -

Mendling J, M. P. van der Aalst W. Advanced Reduction Rules for the Verification of EPC Business Process Models. In Wolfgang Hesse, Andreas Oberweis, editor, SIGSAND-EUROPE 2008: Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems, June 12 - 13, 2008, Marburg,Germany. Lecture Notes in Informatics, Volume 129: Gesellschaft für Informatik, Bonn. 2008. p. 129 - 140

Advanced Reduction Rules for the Verification of EPC Business Process Models

Check availability

Other files and links

Cite this