Petri-Netz-Maschine a software tool for analysis and validation of Petri nets

Abstract Petri-Netz-Maschine is a program package which allows in a convenient way to detect design errors, to analyse and verify basic static and dynamic net properties, to reduce the size and to analyse and simulate the behaviour of Petri net models of concurrent and distributed systems, thus, it can act as a part of a CAD-system.