PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling. - Ceska, Milan; Janousek, Vladimír; Vojnar, Tomás (1997)