In this paper, we present how to model complex business processes and synchronization between their instances using Petriflow language which extends Petri Nets with other components. Small snippets of code called Actions are introduced to show the capabilities of inter-process communication. Examples of searching, constructing new instances, executing tasks, and data manipulation are provided.

Published and presented at AWPN 2018: Algorithms and Tools for Petri nets workshop.

Authors: Juraj Mažári, Gabriel Juhás, Milan Mladoniczky