A Method of Sample Models of Program Construction in Terms of Petri Nets
Kharitonov, D. I., Golenkov, E. A., Tarasov, G. V., Leontyev, D. V.
Published in Modelirovanie i analiz informacionnyh sistem (15.10.2015)
Published in Modelirovanie i analiz informacionnyh sistem (15.10.2015)
Get full text
Journal Article
Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems
Anisimov, N. A, Golenkov, E. A, Kharitonov, D. I
Published in Programming and computer software (01.11.2001)
Published in Programming and computer software (01.11.2001)
Get full text
Journal Article
On a Function Representation in an Imperative Program Model Specified by Petri Nets
G. V. Tarasov, D. I. Kharitonov, E. A. Golenkov
Published in Modelirovanie i analiz informacionnyh sistem (01.06.2011)
Get full text
Published in Modelirovanie i analiz informacionnyh sistem (01.06.2011)
Journal Article