Petri Net based verification of BPMN represented configured construction processes

Kog F., Scherer R. J. , Dikbas A.

9th European Conference on Product and Process Modelling, Reykjavik, İzlanda, 25 - 27 Temmuz 2012, ss.243-249 identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Basıldığı Şehir: Reykjavik
  • Basıldığı Ülke: İzlanda
  • Sayfa Sayıları: ss.243-249


The objectives of this research are (1) investigating a solid mapping between business process modeling (BPM) languages and (2) extending the existing BPM tools with methods for verification of construction process models according to the behavioral and structural properties. The methods developed for automatic transformation and model verification are implemented in Java. For illustration, two represented construction processes, which are modeled in BPMN, are transformed into PNs. Furthermore the transformed model is verified with an existing PN tool. Finally, some preliminary concepts of further work are discussed.