Eine offene Simulationsumgebung für Petri-Netze zur Unterstützung des Entwurfs eingebetteter Systeme.