Okunishnikova Elena

Search

By title

By abstract

By keywords

By author

By series

Bu issue

By year

Elena V. Okunishnikova

E-mail

len@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