Anwendung von Pertrinetzen

Ich kann mich böse an einen Siemens verstrahlten Professor an meiner 
Hochschule erinnern, der grundsätzlich alle Prozessabläufe in 
Petrinetzen haben wollte. Hatte man das Prinzip verstanden konnte man 
den komischen AWL Code für die S7 daraus direkt ableiten.

In der Robotik werden Petrinetze sehr oft angewendet.
Es gibt Abläufe, die konkurrent zu einander laufen, die eigentlich mit 
zustandsdiagramme nicht gut dargestellt werden können.
Wie würdest du eine "synchronisation" oder ein "join" mit 
Zustandsdiagramme( bestehend nur aus action und transition) darstellen?

Berater schrieb:
> In der Robotik werden Petrinetze sehr oft angewendet.
> Es gibt Abläufe, die konkurrent zu einander laufen, die eigentlich mit
> zustandsdiagramme nicht gut dargestellt werden können.
> Wie würdest du eine "synchronisation" oder ein "join" mit
> Zustandsdiagramme( bestehend nur aus action und transition) darstellen?

...Darstellung mittels nebenläufiger Zustandsdiagramm wobei ich zur 
Synchronisation zwischen den beiden Zustandsdiagrammen "Pseudozustände" 
verwende

Berater schrieb:
> In der Robotik werden Petrinetze sehr oft angewendet.

..gibt es freie sinnvolle Tools zur Simulation von Pertrinetzen?