pnml2nupn v4.0.0

This release introduces breaking changes: support for the Bounds tool ends, and runtime environment upgrades to Java 17.

Subsequently, dependency on cami2pnml is removed. Explicit dependencies on logback and slf4j are introduced.

Full Changelog: v3.3.0...v4.0.0

pnml2nupn v3.3.0

This release merges PR #3

What's Changed

• the NUPN format allows now the initial marking to be the empty set by @tic-toc in #3

Full Changelog: v3.2.0...v3.3.0

pnml2nupn v3.2.0

This release merges PR #2, and update string encoding

pnml2nupn v3.1.0

This release fixes a bug in using place names (option use.place.names), and adds new options to specify arbitrary starting numbers for NUPN nodes id instead of the default (0..N-1).

pnml2nupn v3.0.2

This release brings options use.place.names and use.transition.names.
With these options set, the translator will use PNML node names instead
of their ids for the mappings in the labels section of the NUPN file.

pnml2nupn v3.0.1

This release fixes resource leaking and null pointer dereferencing issues.

pnml2nupn v3.0.0

This release merges output .places and .trans files contents into the upgraded .nupn file format. Therefore, only the .nupn file is output.