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.

Project Samples

Transitions information Markov chain Simulation Reachability tree Main window

Project Activity

See All Activity >

Categories

UML, Data Visualization

Follow Petri Nets Editor

Petri Nets Editor Web Site

Other Useful Business Software
Auth0 for AI Agents now in GA Icon
Auth0 for AI Agents now in GA

Ready to implement AI with confidence (without sacrificing security)?

Connect your AI agents to apps and data more securely, give users control over the actions AI agents can perform and the data they can access, and enable human confirmation for critical agent actions.
Start building today
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Petri Nets Editor!

Additional Project Details

Operating Systems

Linux, Mac, Windows

User Interface

Java Swing

Programming Language

Java

Related Categories

Java UML Tool, Java Data Visualization Software

Registered

2011-11-19
Report inappropriate content