Event Details
Petr Novosad: PhD seminar
SUITS
Place
FIT A112 - 13:00, Božetěchova 2, 612 00 Brno, CZ
Organiser
Type
seminar
Access
free
Description
The thesis deals with representing unbounded hybrid Petri nets using coverability graphs and unfoldings. The motivation for introducing these two techniques to hybrid Petri nets is that they can cope well with the so-called state space explosion problem. There will be also presented information about preliminary structure of the thesis and actual state of the work.