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.
|