Simple editor and analyzer of Petri nets. It allows you to build reachability tree with/without instant transitions and Markov chains. It is also possible to set transition distributions and set all the parameters of the current distribution.
This project was made as a course project at NTUU "KPI" during attending classes "Computer modelling".
Feel free to make any changes to the current version or ask me if you have any question.
Follow Petri Nets Editor
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Petri Nets Editor!