Detail projektu
Ověřování temporálních vlastností modelů popsaných objektově orientovanými Petriho sítěmi
Období řešení: 1. 1. 1998 – 31. 12. 1998
Typ projektu: grant
Kód: FEI-98-?
Objektově orientované Petriho sítě, temporální logiky, model checking, exploze
stavového prostoru
Cílem projektu je umožnit ověřování vlastností systémů vyjádřených ve vhodné
temporální logice na modelech vytvořených pomocí objektově orientovaných Petriho
sítí, které jsou úzce spojeny s jazykem PNtalk. Řešení projektu bude probíhat
zejména v rovině teoretické, přesto by mělo dojít k alespoň pokusné implementaci
některých myšlenek v jazyce Prolog.