NetBuilder' is a tool for building, visualizing, and simulating multi-layered biological networks, structured as hierarchical Petri-nets. It has a built-in stochastic simulator, but also provides easy access to other simulation and analysis.
A Workflow Management System for scientific environments written in C++ based on the PetriNets formalism. It uses the Grid Workflow Description Language (GWorkflowDL) as reference language.