Kozura V. LTL model checking of coloured Petri nets based on net unfoldings // Computer Science. — 2001. — # 15 — P. 83-101