• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

PAIS Lab seminar: Time and Petri Nets - A Way for Modeling and Verification of Time-dependent Concurrent Systems // L. Popova-Zeugmann


Monday, September 
16th, 18:30, aud. 902 (Kirpichnaya, 33)

Dr. Louchka Popova-Zeugmann, professor at Humboldt-Universität (Berlin), presented the talk on subject "Time and Petri Nets - A Way for Modeling and Verification of Time-dependent Concurrent Systems".

Dr. Louchka Popova-Zeugmann is a professor of the working group named “Logic in Computer Science” in the Humboldt-Universität (Berlin). She’s research interests are mainly on 1) invention of algorithms for analysis of time dependent Petri Nets and 2) modeling and analysis of time dependent systems by means of Petri Nets. Prof. Popova-Zeugmann also holds lectures on Theory of Petri nets (including Time Petri nets, Timed Petri nets, and Petri nets with time windows) and other subjects. 

Abstract: In this talk I introduce three different kinds of time-dependent Petri nets: Time Petri nets, also called Interval Petri nets, Timed Petri nets, also called Duration Petri nets and Petri nets with retention time on places also called Petri nets with time windows. The first two nets classes have time-dependent transitions, the third one has time-dependent places. Since there is no relationship between the properties of the time-dependent Petri nets and the correspondent underlying timeless Petri nets, I introduce methods for analyzing the time-dependent nets using discretization, parametrization and structural restrictions.

Slides:  Vortrag_Moskau-Sept-2013.pdf

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!