A Petri net – surveyed in Murata (1989) – is inherently a distributed or parallel
processing system, hence a Petri net model of a DP problem permits it to be
processed by a parallel system. Mauch (2006) describes a software tool that can
be used to automatically generate a Petri net model of a DP problem.