Oct 21, 2009 - Release 2.1.9
Switched to Maven 2.2.1 and migrated Nexus server. Updated tests dependencies.
June 06, 2009 - Release 2.1.8
Buddy declaration for Petri net types jars, as friends of
Utils, which is registered in Eclipse. This is needed so that
when Utils dynamically loads a Petri net type using classLoader,
it can work in Eclipse.
This issue is referenced here.
May 11, 2009 - Development release 2.1.7
The Utils jar have been upgraded to 2.1.7. It provides
an extension point, and an enumeration of PN types,
updated with P/T net in high-level notation literal.
The corresponding enumeration in the generation code for
all types will soon be updated accordingly.
The 3rd party jar has been upgraded to 2.0.3. Principally,
3rd party jars such Jing and its dependencies have been updated.
Validation of PNML documents were failing with the previous version (2.0.2).
Oct 17, 2008 - official release 2.1.6
PNML Framework second generation is officially out. It is state-of-the art with respect
to the current specification of ISO/IEC 15909 Part 2.
The release zip archive SHA digest is : ca36ca65736d9fb05c5ae11f48b6e16bf2a6bec5
Oct 14, 2008 - Testing official release 2.1.6 update site
PNML Framework second generation is ready. We are testing the update site mechanism.
So do not install anything yet until we tag the release and give the definitive
archives digests.
Oct 6, 2008 - Development release 2.1.5
- Added implementation of sortEquals method for subclasses of Sort.
It tells whether two sorts are actually semantically the same, even if hold
by two different objects. This API is only part of the low-level API.
- Fixed third part lib contents which was causing a RNG validation test to fail.
The stable one is 2.0.2
Sept 12, 2008 - Development release 2.1.4
- Tool box.
- Updated templates to use toFollow annotation and discarded sonGen.
Sept 2, 2008 - Development release 2.1.3
August 27, 2008 - Development release 2.1.2
- New Petri net types: we have added extensions to the existing standard types, particularly
Place/Transition nets. Such extensions are: inhibitor, read and reset arcs, capacity places.
- Benchmarks!
- Tutorial (on the wiki) about how to extend PNML Framework with your own Petri net type definition.
- The PNML2Dot application example have been upgraded.
August 5, 2008 - Development release 2.1.0
- Improved the high-level API for all Petri net types components. When using PNML Framework
internally to develop the PNML2Dot application new APIs where needed.
- The PNML2Dot application example, using PNML Framework to convert PNML models into Dot (vice versa) is being upgraded.
- The documentation has been significantly improved.
July 2008 - Development release 2.0.3; Taipa 1.0.0
- High-level Petri Nets: the export/import of High-level Petri Nets is now supported, except for
what goes beyond the ArbitraryDeclarations construct.
- Symmetric Nets: the export/import of Symmetric Nets is now supported.
- PNML Framework was upgraded to the new grammar, version 2009, which is located at
www.pnml.org.
- First release of
Taipa,
the demonstrator GUI of PNML, developed with
Graphical Modeling Framework (GMF).
June 2008 - Development release 2.0.0
- New APIs for the Core Model and Place/Transition nets.
- The entire framework's architecture has been re-designed to encompass more modularity
and extensibility. We are also progressively integrating automatic checks of OC constraints on the models.
There are numerous OCL constraints on PNML metamodels in the Standard ;-)
- The development infrastructure has been upgraded to continuous integration with
Maven 2 and Hudson.
We have also set up an internal Maven proxy to host dependencies and Maven plugins artifacts.
|
