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

On monday, September 16^th, was held a session of the PAIS Lab seminar.
Dr. Louchka Popova-Zeugmann, professor of Humboldt-Universität (Berlin), presented the talk on subject "Time and Petri Nets - A Way for Modeling and Verification of Time-dependent Concurrent Systems".

more...

On monday, September 16^th, was held a session of the PAIS Lab seminar. 
Dr. Louchka Popova-Zeugmann, professor of Humboldt-Universität (Berlin), presented the talk on subject "Time and Petri Nets - A Way for Modeling and Verification of Time-dependent Concurrent Systems".

more...