Zobrazeno 1 - 3
of 3
pro vyhledávání: '"E. V. Okunishnikova"'
Autor:
Valery A. Nepomniaschy, A. V. Bystrov, S. P. Myl'nikov, E. V. Okunishnikova, T. G. Churina, G. I. Alekseev, Chubarev Pavel
Publikováno v:
Programming and Computer Software. 27:58-68
Estelle specifications are considered that include certain dynamic constructs. A method of translation of these specifications into modified colored Petri nets is described. Static Estelle specifications are translated into hierarchical typed time ne
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4ebc88599491c947464529573c6bbdab
https://doi.org/10.1023/a:1011094609718
https://doi.org/10.1023/a:1011094609718
Autor:
G. I. Alekseev, Valery A. Nepomniaschy, A. V. Bystrov, T. G. Churina, S. P. Myl'nikov, E. V. Okunishnikova
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540602224
PaCT
PaCT
In order to use net models for communication protocol verification, a method intended for automatic translation of Estelle protocol specifications in coloured Petri nets is proposed. A tool for simulation and analysis of the net models is outlined. F
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c8c62dfd17c40c36bd5bbd50f8a04620
https://doi.org/10.1007/3-540-60222-4_100
https://doi.org/10.1007/3-540-60222-4_100
Autor:
V. A. Nepomniaschy, G. I. Alekseev, A. V. Bystrov, S. P. Myl'nikov, E. V. Okunishnikova, P. A. Chubarev, T. G. Churina
Publikováno v:
Programming & Computer Software; Mar2001, Vol. 27 Issue 2, p58-68, 11p