An analysis by Petri network models involves the determination of their properties. Network properties can be extracted easily from the graph markings. This article presents an application for generate the markings graph. The software to build the markings graph highlights all the markings available, possible bottlenecks and identifies key properties of the simulated model. The application allows you to save the introduce models and the simulation results - graph markings. This software is for generalized Petri nets including inhibitors arcs or inhibitor threshold arcs.
