Petri Net

A remake of a Petri Net Simulation to find resultant of the Petri Net

SE-306 - Formal Methods written in Java with the collaboration of Anthony Vives and Michael Karolewicz

Petri Net Repository

Take a Look

The Final Resultant Below

{ 2 2 1 0 }

{ 1 2 1 0 }

{ 2 2 w 0 }

{ 1 2 w 0 }