Petri net transformations for business processes : a survey

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

108 Citaten (Scopus)


In Process-Aware Information Systems, business processes are often modeled in an explicit way. Roughly speaking, the available business process modeling languages can be divided into two groups.Languages from the first group are preferred by academic people but shunned by business people, and include Petri nets and process algebras. These academic languages have a proper formal semantics, which allows the corresponding academic models to be verified in a formal way. Languages from the second group are preferred by business people but disliked by academic people, and include BPEL, BPMN, and EPCs. These business languages often lack any proper semantics, which often leads to debates on how to interpret certain business models. Nevertheless, business models are used in practice, whereas academic models are hardly used. To be able to use, for example, the abundance of Petri net verification techniques on business models, we need to be able to transform these models to Petri nets. In this paper, we investigate a number of Petri net transformations that already exist.For every transformation, we investigate the transformation itself, the constructs in the business models that are problematic for the transformation and the main applications for the transformation.
Originele taal-2Engels
TitelTransactions on Petri Nets and other models of concurrency II
RedacteurenK. Jensen, W.M.P. Aalst, van der
Plaats van productieBerlin
Aantal pagina's295
ISBN van geprinte versie978-3-642-00898-6
StatusGepubliceerd - 2009

Publicatie series

NaamLecture Notes in Computer Science
ISSN van geprinte versie0302-9743


Duik in de onderzoeksthema's van 'Petri net transformations for business processes : a survey'. Samen vormen ze een unieke vingerafdruk.

Citeer dit