Detail produktu
PNtalk
Vznik: 2008
Název česky
PNtalk
Typ
software
Licence
podle podmínek - zdarma
Autoři
Kočí Radek, Ing., Ph.D. (UITS FIT VUT)
Popis
PNtalk je modelovací a simulační nástroj založený na formalismu Objektově orientovaných Petriho sítích (OOPN). Kombinuje vlastnosti Petriho sítí s výhodami objektově orientovaného návrhu systémů. PNtalk umožňuje přímé použití matematického formalismu při návrhu a realizaci softwarových systémů.
Umístění
Licence
Projekty
PNtalk - nástroje založené na objektově orientovaných Petriho sítích (UIVT-PNtalk)
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů (GA102/07/0322)
Vývoj systémů založený na modelech (GP102/07/P306)
Výzkum informačních technologií z hlediska bezpečnosti (MSM0021630528)
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů (GA102/07/0322)
Vývoj systémů založený na modelech (GP102/07/P306)
Výzkum informačních technologií z hlediska bezpečnosti (MSM0021630528)
Výzkumné skupiny
Pracoviště
Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)