v1.4.4

modified PNML output to ensure we have same names and id for transitions and places

v1.4.3

Corrected the behavior of BAdd and BCompare when some of the parameters are infinite bounds

v1.4.2

We make sure to initialize the time interval of transitions that have no timing information.

v1.4.1

Added support for 32bits architecture.

Atropos

Added helper methods to manage markings and time intervals.

Lachesis

Added method for computing the transitive closure of the priority relation. Helpful if you want to implement a Petri net stepper that takes into account priorities

Clotho

We add the possibility to marshal Nets into PNML files

v1.0

link to references