|
2015-02-06
|
| LIP6 > Software > MoVe
Sofware > PNML Framework > Applications |
Petri net Tools that rely on PNML Framework
We report here Petri net tools that rely on PNML Framework.
You may download and run them. You may also have a look at their sources, to get a sense
of how they are using PNML Framework to support PNML.
They varyingly support the Petri net types defined by the standard.
Model Checking Contest @ Petri nets
This case shows how to progammatically create Petri nets models,
provided in the context of the Model Checking Contest,
and save them into PNML files.
It is shipped as an Eclipse application archive, which can be imported as an existing project (File -> Import... -> General/Existing Projects into Workspace -> Next -> Select archive file).
Summary of Tools using PNML Framework for various purposes
|
|
