LIP6 UPMC CNRS Move-team
LIP6 > Software > MoVe Sofware > Recent News

October 21, 2007

Both Coloane (Eclipse-based user interface for CPN-AMI) and CPN-AMI 3.2 are released. You also have new tutorials as screencasts for Macao, Coloane and CPN-AMI.

December 24, 2006

The promizing Coloane Eclipse-based interface (alternative to Macao) is moved into alpha version (not available on the web yet). A screen-shot is available here.

October 30 , 2006

Macao 3.0.1 released (bug fixed on Macao)

October 25 , 2006

CPN-AMI 3.1 and Macao 3.0 released.

May 10 , 2006

FrameKit 2.1 released ; itntroduces a dramatic speed up in the transmission of huge results to Macao.

April 7 , 2006

First test of CPN-AMI on a Macintel. It works perfectly in emulated mode.

March 30, 2006

MetaScribe 1.2 released.

March 16, 2006

Publication of a first experimental release for the implementation of the PNML standard.

February, 18, 2006

Publication of emacs modes for MetaScribe languages.

November 30, 2005

CPN-AMI 3.01 and Macao 2.9.23 released. Go there to acces the list (and documentation) of services available in CPN-AMI.

This version fixes some minor regressions in CPN-AMI and some problems for Macao under MacOS 10.4.2 and later.

October 10, 2005

FrameKit 2.0, CPN-AMI 3.0 and Macao 2.9 released. Go there to acces the list (and documentation) of services available in CPN-AMI.

It is now possible to run Macao (CPN-AMI's user interface) and CPN-AMI on the same computer under MacOS X v10.3.9 or later.

Known bug: sometimes, under MacOS X, the layout facility crashes. This should be solved as soon as a stable version of dot is provided for MacOS X.

September 12 , 2005

MetaScribe 1.1ß13 released.

August 25, 2005

MetaScribe 1.1ß12 released.

We are preparing CPN-AMI version 3 that will embbed a new platform (FramKit version 2.0) new tools including the use of the symbolic techniques for model checking.

October 20, 2004

MetaScribe 1.1ß11 released.

June 15, 2002

CPN-AMI 2.5.1 released.

FrameKit 1.4.5 released.

October 11, 2001

New documentation about the CPN-AMI Petri net internal description (document section).

April 25, 2001

An alpha version of Macao running under MacOS X (see a screen shot).

January 4, 2001

CPN-AMI 2.5 released.

FrameKit 1.4.4 released.

November 25, 2000

Macao 2.8 (SB6R2) released for solaris.

September 26, 2000

New Macao 2.8 solaris version.

June 14, 2000

Macao 2.8 is released.

June 15, 1999

CPN-AMI 2.4 released.

FrameKit 1.4.3 released.