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, Iceland, 25 - 27 July 2012, pp.243-249 identifier

  • Publication Type: Conference Paper / Full Text
  • City: Reykjavik
  • Country: Iceland
  • Page Numbers: pp.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.