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