Generalized mutual exclusion constraints and monitors for colored Petri nets.

Maria Pia Fanti, Alessandro Giua, Carla Seatzu

Browse the full SMC paper archive.