CUI LSV LIPN LIP6
MeFoSyLoMa CNRS Iniria
QR Code
Last modified
June 28, 2016

Displayed
Oct 21, 2017
History of the project

Introduction

This page presents the main evolutions of the Project, together with its roots. is the result of more than 25 years of experience in building verification environments.

History

October 10, 2014

Publication of CosyVerif4PN 1.1 that was used for the Petri net tutorial in Tunis on June 2014.

November 17, 2013

Publication of CosyVerif4PN 1.0.2 that corrects a bug in the display of some results in PROD.

October 29, 2013

Publication of CosyVerif4PN 1.0.1 that embeds a correction in the management of Coloan's logs that could cause crashes in case of a multi-user installation of the bundles.

October 22, 2013

Publication of CosyVerif4PN 1.0 that embeds:

October 1st, 2013

Publication of version 0.3.

June 14, 2013

Publication of version 0.2.

October 23, 2012

Publication of version 0.1.

Pre-history

This is a very short summary of what we did in project that lead us to . More details can be found there.

2005-2010

Development of CPN-AMI 3.x (2005-2010) that was available on the web and supported, together with Macao between 2005 and 2012. It is still online but is not maintained anymore.

1997-2004

Development of Macao (until 2000) and CPN-AMI 2.x (1994-1997). CPN-AMI 2.x was available on the web and supported, together with Macao between 1997 and 2004.

1987-1997

Development of Macao (since 1987) and CPN-AMI 1.x (1988-1994). CPN-AMI 1.x was available on the web and supported, together with Macao between 1994 and 1997.