The Application of Coloured Petri Nets to Verification of Distributed Systems Specified by Message Sequence Charts
Trudy Instituta sistemnogo programmirovaniâ RAN/Trudy Instituta sistemnogo programmirovaniâ