= Simulating Multiple Formalisms Concurrently Based on Reference Nets = Renew IDE with multi formalism support [http://www.informatik.uni-hamburg.de/TGI/pn/renew2.6dev-ide.zip renew2.6dev-ide.zip] (zip archive, Linux, Mac, Windows) [http://www.informatik.uni-hamburg.de/TGI/pn/RenewIDE-2.6dev.dmg RenewIDE-2.6dev.dmg] (dmg image, Mac)