PNMA, the Petri Net Modeling Application, is a software platform for modeling, simulation and parameter optimization of biological networks. It introduces a new class of Petri nets called Spatial Petri nets. For simulations, FERN and PNFL can be used
PNMA is not realeased yet and currently under development.