Bashkin V. Nets of active resources for distributed systems modeling // Computer Science. — 2008. — # 28 — P. 43-54
Bashkin V., Lomazova I. Reduction of coloured Petri nets based on resource bisimulation // Computer Science. — 2000. — # 13 — P. 12-17
