Maria Pia Fanti, Alessandro Giua, Carla Seatzu. Generalized mutual exclusion constraints and monitors for colored Petri nets. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: Washington, D.C., USA, 5-8 October 2003. pages 1860-1865, IEEE, 2003. [doi]