LIP6 UPMC CNRS Move-team LIP6 UPMC CNRS Move-team Macao FrameKit CPN-AMI
2011-10-10
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
Bas