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.

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]