In this paper, we explain the usage of Petriflow language in a multi-process environment with inter-process communication via process events. We introduce an example that demonstrates the advantages of Petriflow language when synchronization between two and more processes is required.
Published and presented at AWPN 2018: Algorithms and Tools for Petri nets workshop.
Authors: Milan Mladoniczky, Gabriel Juhás, Juraj Mažári