CPN Assistant II: A Tool for Management of Networked Simulations. - Stefan Korecko; Ján Marcincin; Viliam Slodicák (Petri Nets, 2012)