Software tool for modeling, simulation and real-time implementation of Petri net-based supervisors. - Goran Genter; Stjepan Bogdan; Zdenko Kovacic; Ivor Grubisic (CCA, 2007)