Elena V. OkunishnikovaE-maillen@iis.nsk.su List of Articles: 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