Generalized mutual exclusion constraints and monitors for colored Petri nets

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]

@inproceedings{FantiGS03,
  title = {Generalized mutual exclusion constraints and monitors for colored Petri nets},
  author = {Maria Pia Fanti and Alessandro Giua and Carla Seatzu},
  year = {2003},
  doi = {10.1109/ICSMC.2003.1244682},
  url = {http://dx.doi.org/10.1109/ICSMC.2003.1244682},
  researchr = {https://researchr.org/publication/FantiGS03},
  cites = {0},
  citedby = {0},
  pages = {1860-1865},
  booktitle = {Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: Washington, D.C., USA, 5-8 October 2003},
  publisher = {IEEE},
  isbn = {0-7803-7952-7},
}