This Project can analyse petrinet models and simulate them and also give some state space analysis.
to use this project simply create an object from Petri_Net class and pass your model as the example provided in the code.
Also some cheat sheet and guide for modeling using Petri Net is given CPNTools folder.
- Python application for implementation and analysis of petri nets
- Review document of Colored Petri New
- Standard ML cheat sheet