Projekt PNtalk/SmallDEVS

Projekt PNtalk/SmallDEVS

[English version] [Formální modely a simulace v návrhu systémů]

PNtalk/SmallDEVS jsou nástroje pro návrh a simulaci systémů s využitím formalismů Objektově Orientovaných Petriho sítí a DEVS. Tyto nástroje mohou vzájemně kooperovat nebo mohou být použity nezávisle.

PNtalk

aktuální verzi nástroje včetně doprovodných dokumentů je dostupná na oficiální stránce systému PNtalk
PNtalk manifest
aktuální problémy k řešení
- vhodné uživatelské prostředí s editorem, které umožňuje tvorbu a simulaci modelů
- simulátor (virtuální stroj) pro jiné prostředí než Smalltalk
- přenositelnost modelů, transformace do jazyka PNML
- práce na případových studiích
- zobecnění získaných poznatků pro jiné formalismy

Links to this Page

Formální modely a simulace v návrhu systémů last edited on 26 September 2012 at 4:27 pm by localhost
PNtalk system last edited on 29 November 2013 at 9:44 pm by localhost