PNtalk

Typ

software

Jazyk

anglicky

Autoři

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

Popis

PNtalk is the modelling and simulation framework based on the formalism of Object Oriented Petri Nets. It combines properties of Petri Nets with advantages of object oriented system design. PNtalk allows to use the mathematical formalism for the design and implementation of software systems.

Klíčová slova

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

Umístění

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

Licence

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

Licenční poplatek

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

Licenční podmínky

MIT Licence.

Projekty

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é skupiny

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

Pracoviště

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