Welcome to student's Petri Net Simulator project. It was done by students from [http://www.ii.uj.edu.pl/ Jagiellonian University]. Our supervisor was Tomasz Krawczyk. Team: * [http://blog.mocna-kawa.com/ Wiktor Gworek] (architecture, model, Swing GUI), * Piotr Młocek (invariant analysis...