Michael Westergaard, Fabrizio Maria Maggi. Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets. In Lars M. Kristensen, Laure Petrucci, editors, Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings. Volume 6709 of Lecture Notes in Computer Science, pages 169-188, Springer, 2011. [doi]
Abstract is missing.