Madalena Gonçalves, João M. Fernandes. Guidelines for Modelling Reactive Systems with Coloured Petri Nets. In Ricardo Jorge Machado, Rita Suzana Pitangueira Maciel, Julia Rubin, Goetz Botterweck, editors, Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers. Volume 7706 of Lecture Notes in Computer Science, pages 126-137, Springer, 2012. [doi]
Abstract is missing.