LIP6 UPMC CNRS Move-team
LIP6 > Software > MoVe Sofware > PNML Framework > History

May 18, 2016 - Bug Fix Release of PNML Framework 2.2.12

This release integrates the patch #7 that fixes on-the-fly downstream processing breakage caused by #6.

Apr 18, 2016 - Bug Fix Release of PNML Framework 2.2.11

This release fixes #6.

Feb 11, 2016 - Type "Long" to support non-negative and positive integers in markings and inscriptions in PNML Framework 2.2.10

This release upgrades the support of non-negative and positive integers to the type Long in the programming language of PNML Framework.

The release should have been labelled 3.0.0 because this upgrade breaks backwards compatibility with 2.2.9 and previous versions. Unfortunately, it has been already propagated in the remote repositories on the Internet. So please, be aware of the incompatibility before you upgrade to 2.2.10 in your toolkit!

Oct 08, 2015 - Bug Fix Release of PNML Framework 2.2.9

This release fixes #1.

Feb 20, 2015 - Improvement Release of PNML Framework 2.2.8

This release:

  • removed from 3rd partimports all packages already provided by JDK (starting from JDK 1.7);
  • exports the toolspecific buffer containing the root toolspecific element and its children elements, instead of directly its children elements. This makes life easier for further parsing, w.r.t. the rule A well-formed XML document must have a single root element;
  • provides an optional API to read NUPN toolspecific section in PNML documents (P/T nets).

Feb 06, 2015 - Maintenance Release of PNML Framework 2.2.6

This release upgrades the framework to EMF 2.10.1, and OCL 3.4.2

Feb 05, 2014 - Maintenance Release of PNML Framework 2.2.4

This release fixes a stack overflow bug in some id repository method.

Feb 04, 2014 - Maintenance Release of PNML Framework 2.2.3

  • Id repository now also proposes an id generation method where the prefix is also automatically generated.
  • Improved id conformance checking and consequently the diagnostic messages.

Jan 31, 2014 - Maintenance Release of PNML Framework 2.2.2

This releases fixes a bug in the generation of IDs in IdRepository class (where ids can be generated for the user).

Jan 22, 2014 - Maintenance Release of PNML Framework 2.2.1

This release fixes a bug in the ModelRepository Unit class, where we now also extract the encapsulated EObject (corresponding to PetriNetDoc) of a HLAPIRootClass.

Jan 18, 2014 - Release of PNML Framework 2.2.0

This release can be downloaded only through the Release channels (updatesite and latest release standalone archive).

In addition to the improvements introduced in the earlier SNAPSHOT version, the utilities are improved in this release.

  • A new fr.lip6.move.pnml.framework.utils.PNMLUtils class is introduced. It offers shortcuts to load and store Petri Nets documents from/in PNML files. It encapsulated some APIs from the PnmlImport and PnmlExport class you may have been using before this version. Using PNMLUtils is now the recommended way to load and store PNML documents.
  • With PNMLUtils, you can import PNML document as HLAPIRootClass only, then cast to the appropriate PetriNetDoc class. But you can export PetriNetDoc as HLAPIRootClass or EObject (EMF) in case you were using the low-level API (i.e. EMF-generated) instead of the high-level API (i.e. encapsulating the low-level one) of PNML Framework.
  • The fr.lip6.move.pnml.framework.utils.ModelRepository class offers the ability to have all document workspace active simultaneously (by setting the parallel property). Default behavior is that only one document workspace is active.
  • The ModelRepository class also have the ability to hold Petri Net models root class (PetriNetDoc) as EMF's EObject, in addition to HLAPIRootClass. This feature is offered in case you are using the low-level API (i.e. EMF-generated, native) instead of the high-level one of PNML Framework.
  • Bug fix on pretty print status retrieval when the low-level API is used instead of the high-level one.

Jan 17, 2014 - Maintenance Release of Cami to PNML Converter 2.1.3

This version fixes a bug in handling the absence of aesthetic descriptions in Cami to PNML.

Jan 12, 2014 - Maintenance Release of Cami to PNML Converter 2.1.2

This version introduces some improvements on the data structures for handling PNML to Cami transformation.

Jan 05, 2014 - Maintenance Release of PNML Framework 2.2.0-SNAPSHOT

This maintenance release can be downloaded only through the Dev Release channels (updatesite-dev and dev. release standalone archive).

Various improvements are introduced in this release, and some dependencies upgraded.

  • Slim diet on the EMF side: EMF types are used at the minimum (and there might still be room for improvement).
  • Alternative API to export models in PNML faster, as long as your models can be hold in memory. This API is now used by the fr.lip6.move.pnml.framework.general.PnmlExport class on the root object of your model (PetriNetDocHLAPI).
    Note: it is recommended to use the exportObject method of the PnmlExport class to export your models into PNML.

Jan 04, 2014 - Maintenance Release of PNML Document Checker 1.0.0

  • Various improvements are introduced, and some dependencies upgraded.
  • This release relies on the upcoming maintenance release (2.2.0-SNAPSHOT) of PNML Framework.

Jan 02, 2014 - Maintenance Release of Cami to PNML Converter 2.1.0

  • Various improvements are introduced, and some dependencies upgraded.
  • The tool is much faster and handles larger Cami documents than in previous releases.
  • This release relies on the upcoming maintenance release (2.2.0-SNAPSHOT) of PNML Framework

Dec 04, 2013 - Release of GrML to PNML Converter 0.0.2

This tool translates Symmetric Net models from the CosyVerif GrML format to PNML.

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

  • Bug fix.

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