Title: Business process verification: a Petri Net approach
Authors: De Backer, Manu
Snoeck, Monique
Issue Date: 2007
Publisher: K.U.Leuven - Faculty of Economics and Applied Economics
Series Title: DTEW - KBI_0705 pages:1-19
Abstract: In this report, we discuss the use of Petri Net language theory for business process modeling. Essentially, the focus is on the opportunities of the modeling technique for analysis and verification. Semantic compatibility, as opposed to syntactic compatibility, is concerned with the meaningfulness of the distributedbusiness process. We start with a description and motivation of different notions of semantically compatible business processes. Further, these different types ofcompatibility are formalized by means of Petri Net language theory. Finally, we describe the foundations of an algorithm that enables us to verify the semantic compatibility in an automated way.Keywords: Petri Net theory; Business Process Modeling; Verification; Semantic Com-patibility
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Research Center for Management Informatics (LIRIS), Leuven

Files in This Item:
File Status SizeFormat
KBI_0705.pdf Published 326KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.