PNtalk

PNtalk

software

Využití výsledku jiným subjektem je v některých případech možné bez nabytí licence

Poskytovatel licence na výsledek nepožaduje licenční poplatek

Kočí Radek, Ing., Ph.D. (UITS)

Object Oriented Petri Nets, modelling, simulation, system design based on modelling and simulation

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ů.

Domovská stránka projektu (http://perchta.fit.vutbr.cz/pntalk2k/28)

MIT Licence.

PNtalk - nástroje založené na objektově orientovaných Petriho sítích, VUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, zahájení: 1994-01-01, ukončení: 2010-12-31, ukončen
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Vývoj systémů založený na modelech, GAČR, Postdoktorandské granty, GP102/07/P306, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení

Výzkumná skupina modelování a optimalizace (VZ MODSIM)
Výzkumná skupina Petriho sítí (VZ PETRINET)

Ústav inteligentních systémů (UITS)