Tatjana G. ChurinaE-mailtanch@iis.nsk.suOrganization: A.P. Ershov Institute of Informatics Systems SB RAS — senior researcher Academic degree: PhD List of Articles: Churina T. Okunishnikova E. Modeling Estelle specifications using colored Petri nets // Computer Science. — 1998 . — # 8. — P. 19-38