PNtalk/SmallDEVS
Doposud odděleně vyvíjené nástroje
- PNtalk - nástroj pro model-based design, využívající objektově-orientované Petriho sítě kombinované se Smalltalkem
- SmallDEVS - nástroj pro model-based design, využívající formalismus DEVS jako rámec pro integraci různých formalismů
jsou v současné době integrovány do jednoho celku díky úsilí týmu Janoušek-Kočí. První výsledky se očekávají v průběhu roku 2007.