Prof. RNDr. Milan Češka, CSc.

Metody formální analýzy a verifikace v objektově orientovaných Petriho sítích
Reseach leader:Křena Bohuslav
Team leaders:Češka Milan
Agency:FRVŠ MŠMT
Code:FR1948/2002/G1
Start:2002
End:2002
Keywords:objektově orientované Petriho sítě, metody formální analýzy a verifikace, typová analýza, stavové prostory
Annotation:
Vývoj současných aplikací je natolik složitý, že bez použití formálních prostředků není možné udržet vysokou kvalitu a spolehlivost vyvíjených systémů. Tento projekt se proto zabývá formalizmem objektově orientovaných Petriho sítí (OOPN) a s ním spojenými metodami formální analýzy a verifikace. Hlavní oblasti zájmu tohoto projektu jsou: typová analýza OOPN, dotazovací jazyk nad stavovými prostory OOPN a překlad OOPN do jiných formalizmů.

Related projects

1994PNtalk - tools based on object-oriented Petri nets, VUT v Brně, UIVT-PNtalk, 1994-2010, completed
Research leader: Janoušek Vladimír
Team leaders: Drabant Radek, Kočí Radek, Křena Bohuslav, Vojnar Tomáš

Publications

2002Křena Bohuslav, Vojnar Tomáš, Češka Milan: Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets, In: Brazilian Petri Net Meeting, Natal, BR, 2002, p. 6
 Křena Bohuslav: A Case Study: Modelling Alternating Bit Protocol by PNtalk, In: Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems, Ostrava, CZ, MARQ, 2002, p. 65-72, ISBN 80-85988-71-2

Your IPv4 address: 184.72.184.104
Switch to IPv6 connection

DNSSEC [dnssec]