Вы здесь

Berthelot G.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Occurrence Graphs for Interval Timed Coloured Nets 1994 Berthelot G., Boucheneb H. Lecture Notes in Computer Science 21.07.1994
СТ 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
СТ Transformations of Petri Nets 1988 Berthelot G. Petri Nets Tutorial 05.10.1995