A deadlock prevention method for railway networks using monitors for colored Petri nets.

Maria Pia Fanti, Alessandro Giua, Carla Seatzu

Browse the full SMC paper archive.