= Simulating Multiple Formalisms Concurrently Based on Reference Nets = [http://www.informatik.uni-hamburg.de/TGI/pn/renew2.5-ide-multiformalism.zip Renew IDE with multi formalism support (zip)] [http://www.informatik.uni-hamburg.de/TGI/pn/RenewIDE-2.5-multiformalism.dmg Renew IDE with multi formalism support (dmg)]