Seminar on 'Verification of Multi-Agent System Models via Nested Petri Net Unfoldings'
Vera Ermakova, HSE master's student presented the report 'Verification of Multi-Agent System Models via Nested Petri Net Unfoldings' at PAIS seminar.
18 May
2015
Seminar 'On Place Invariants of Nested Petri Nets'
Leonid Dworzanski, Senior Lecturer at the School of Software Engineering delivered the report 'On Place Invariants of Nested Petri Nets'.
6 April
2015
12