v0.9.0

• blocks until all active transitions are cancelled
• added iostream which I should remove some day :)

v0.8.1

• Exposes direct transitions properly so they are direct
• silence flto warning for gcc
• double checks exit state when deadlocked

v0.8.0

This release formalized cancel/resume.. Also removed most interfaces to the Petri net, leaving only the Petri net interface fire/cancel etc.

v0.7.2

Cleaner version fixing some of the threadsanitizer warnings

v0.7.1

adds support for GRML-files (which contain priorities in GreatSPN export, while pnml does not)
also fixes bugs/errors/segfaults with respect to cleanly unrolling cancellations in nested nets

v0.7.0

Adds the feature to re-use a net with a new case id

v0.6.0

• adds interface to prematurely exit any transition. By default it only adds a UserExit line to the eventlog.
• a small memory error because of an uninitialized list
• also queuing and starting is now separately inserted into the eventlog instead having to wait till it transition's reducer is processed

v0.5.0

• add a blocking getter for marking and active transitions
• added interface to run single transitions (can step through a net now)
• added test-builds using ASAN and TSAN

v0.4.0

• Cpp17 compatibility
• safer getters,
• include of optional not mandatory anymore
• better shutdown behavior

v0.3.0

• removes webinterface
• firing logic does not scale linear with amount of transitions anymore
• triggers are payloadless
• more formal check if desired final marking has been reached.
• lots of internal changes wrt data structures. favoring vectors of pairs over dictionaries.