Detail produktu

PNtalk 2.0

Vznik: 2013

Název česky
PNtalk 2.0
Typ
software
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
Autoři
Klíčová slova

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

Popis

PNtalk 2.0 je modelovací a simulační nástroj založený na formalismu Objektově orientovaných Petriho sítích (OOPN), který kombinuje vlastnosti Petriho sítí s výhodami objektově orientovaného návrhu systémů. Jde o reimplementaci a rozšíření původního nástroje ze Squeak Smalltalk do prostředí Pharo 2.0. Nástroj podporuje metody vývoje spolehlivého softwaru s využitím simulačního modelování s důrazem na adaptivní a vyvíjející se systémy.

Umístění
Licenční podmínky
Projekty
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, řešení
Výzkumné skupiny
Pracoviště
Nahoru