PNtalk

• PNtalk Project - official page in english - základní informace
• PNtalk - záznam o PNtalku v IS FIT, včetně souvisejících publikací
• PNtalk-dev - privátní stránka pro vývojáře (login a heslo zná vj)

• Modelování objektů Petriho sítěmi - základní text o OOPN a PNtalku (disertace dr. Janouška)
• Towards Formal Analysis and Verification over State Spaces of Object-Oriented Petri Nets - analýza a verifikace OOPN (disertace dr. Vojnara)
• RKphdthesis.ps, Otevřená implementace PNtalku - disertace dr. Kočího, aktuální výzkum související s projektem PNtalk.

• Původní PNtalk96 byl z hlediska praktického použití až příliš dynamický (až na sítě uvnitř objektů se statická struktura modelovaného systému dá vyjádřit jedině dynamicky ustavenými vztahy mezi dynamicky vytvořenými objekty, což z hlediska modelování není zcela adekvátní) a příliš uzavřený (s omezenou reflektivitou), sloužil jen pro demonstraci myšlenky OOPN. Současné aktivity vedou k zavedení možnosti explicitního vyjádření struktury a k podstatně větší míře otevřenosti (reflektivity) a propojitelnosti s jinými jazyky a formalismy. Jedním z kroků tímto směrem je integrace PNtalku a formalismu DEVS.
• Připravují se aplikace v oblasti informačních systémů, multiagentních systémů a robotiky.

• DEVS - multiparadigm framework for simulations, předpokládá se jeho integrace s PNtalkem
• Multiagentní systémy - předpokládaná aplikační oblast pro otevřený a reflektivní sim. systém PNtalk

• Projekty
• Komentované odkazy
• TUNES.
• http://tunes.org/~water/important.html

Link to this Page

• PNtalk Project last edited on 24 July 2007 at 3:32 pm by localhost