PAIS Lab seminar: Time and Petri Nets - A Way for Modeling and Verification of Time-dependent Concurrent Systems // L. Popova-Zeugmann
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.
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!