Verifying UCM specifications of distributed systems using colored Petri nets. (English. Russian original) Zbl 1317.93177
Cybern. Syst. Anal. 51, No. 2, 213-222 (2015); translation from Kibern. Sist. Anal. 2015, No. 2, 62-74 (2015).
MSC:
93C65