Petri nets utilize the properties of bipartite directed graphs and other properties to allow mathematical proofs of the behavior of systems while also allowing easy implementation of simulations of the system.
Rețele Petri utilizează proprietățile grafurilor orientate bipartite și alte proprietăți pentru a permite demonstrații matematice ale comportamentului sistemelor în timp ce permite și implementarea de simulări ale sistemelor.