Téma disertační práce

Školitel:Češka Milan, prof. RNDr., CSc.
Téma:Formal Analysis over Object-Oriented Petri Nets
Zahájení v ak.r.:1997/1998
Obhajoba disertace:2001-06-01
Název disertace:Towards Formal Analysis and Verification over State Spaces of Object-Oriented Petri Nets
Charakteristika řešeného problému:

The primary goal of the work is to identify and solve at least some of the problems which appear when we want to use state spaces of the OOPNs associated with the PNtalk language for formal analysis or verification. Some of the considered problems are, however, related both to generating state spaces of OOPNs as well as to simulating OOPN-based models.

Součást výzkumného projektu:

Vaše IPv4 adresa:
Přepnout na https