Verification of Procedural Reasoning System (PRS) Programs Using Coloured Petri Nets (CPN). - Ricardo Wagner De Araújo; Adelardo A. D. Medeiros (AIAI, 2004)