• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

News

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

On monday, September 16th, 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 16th, 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...