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.

Back to top