Platform Independent Petri-Netz-Editor-Projekt (PIPE) erstellt und analysiert Petri-Netze schnell, effizient und effektiv.Ein Schlüsseldesignmerkmal ist der modulare Ansatz zur Analyse angenommen, so dass neue Module einfach und kraftvoll geschrieben...