Skip to content

pnml2nupn v3.3.0
Compare
Choose a tag to compare
@lhillah lhillah released this 10 Dec 14:07
· 8 commits to master since this release
v3.3.0
3095f70

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

Contributors

tic-toc
Assets 3
Loading