#petri net #synchronization #concurrency #joining flows #AND-join #transition rule