TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets
scientific article; zbMATH DE number 6051108