Vijay Gehlot, Anush Hayrapetyan. Systems modeling and analysis using colored Petri Nets: a tutorial introduction and practical applications. In David John, Sandria N. Kerr, editors, Proceedings of the 45th Annual Southeast Regional Conference, 2007, Winston-Salem, North Carolina, USA, March 23-24, 2007. pages 514, ACM, 2007. [doi]
Abstract is missing.