PNtalk.C++

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

Radek Kočí

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.C++

implementace simulátoru OOPN v jazyce C++
modely OOPN jsou automatizovaně překládány do struktur jazyka C++, které se následně překládají do binární podoby
modely tak mohou být spouštěny jako klasická aplikace
zdrojové kódy včetně ukázkových příkladů: PNtalk.CPP