Welcome to student's Petri Net Simulator project.

It was done by students from Jagiellonian University. Our supervisor was Tomasz Krawczyk.

Team:

• Wiktor Gworek (architecture, model, Swing GUI),
• Piotr Młocek (invariant analysis, statics analysis),
• Paweł Stradomski (reachability graph),
• Paweł Suliga (importing from PIPE, simulation module)
• Rafał Wojtak (controllability module).

Features:

• adding places, transitrions, arcs (including inhibitor arc),
• simulation (random or selected transition fire, smulation),
• analysis: invariant, reachability, simulation, controllability,
• importing from PIPE,
• save & load,
• cool GUI ;).

Screenshot: