Bashkin V., Lomazova I. Reduction of coloured Petri nets based on resource bisimulation // Computer Science. — 2000. — # 13 — P. 12-17
