= Simulating Multiple Formalisms Concurrently Based on Reference Nets =

 [http://www.informatik.uni-hamburg.de/TGI/pn/renew2.6dev-ide.zip renew2.6dev-ide.zip] Renew IDE with multi formalism support (Linux, Mac, Windows)

 [http://www.informatik.uni-hamburg.de/TGI/pn/RenewIDE-2.6dev.dmg RenewIDE-2.6dev.dmg] Renew IDE with multi formalism support (Mac dmg image)