|
LIP6 > Software
> MoVe Sofware > Crocodile
> History |
Presentation at the Petri Nets 2011 conference (June 22, 2011)
Crocodile is the subject of a tool paper at Petri Nets 2011.
Features of the
current version (0.2 - January 14, 2011)
New functions:
- Enhanced syntactic analysis of Symmetric nets with Bags (numerous bugs solved).
- First validated quotient state space module.
Diffusion
- pre-diffusion to PETRI NET 2011 reviewers and for internal checks and use
Previous versions
Version 0.1 (december 7, 2010)
New functions:
- Display and syntactic analysis of Symmetric nets with Bags.
Diffusion
- pre-diffusion into the MeFoSyLoMa group for internal checks and use
|
|