Petr Novosad: PhD seminar
FIT A112 - 13:00 12.3.2015
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.