Petri Net Simulation as a Service. - Petr Polasek; Vladimír Janousek; Milan Ceska 001 (PNSE @ Petri Nets, 2014)