Using Coloured Petri Nets to Model and Verify Telecommunications Systems.

Valery A. Nepomniaschy, Dmitri M. Beloglazov, Tatiana G. Churina, Mikhail Mashukov

Browse the full CSR paper archive.