Churina T., Okunishnikova E. Modeling Estelle specifications using colored Petri nets // Computer Science. — 1998. — # 8 — P. 19-38
Okunishnikova E. Reachability analysis for time Petri nets without overlappings of firing intervals // Computer Science. — 1996. — # 5 — P. 23-41
