Вы здесь

Berthelot G.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Transformations of Petri Nets 1988 Berthelot G. Petri Nets Tutorial 05.10.1995
СТ Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Nets 1994 Boucheneb H., Berthelot G. Lecture Notes in Computer Science 19.10.1994
СТ Occurrence Graphs for Interval Timed Coloured Nets 1994 Berthelot G., Boucheneb H. Lecture Notes in Computer Science 21.07.1994