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: