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.
This release merges output .places and .trans files contents into the upgraded .nupn file format. Therefore, only the .nupn file is output.