add missing header for compilation error:

Feature/cancel on exit (#55)

* cancel on exit

* explicit after fire stamp

---------

Co-authored-by: Thomas Horstink <[email protected]>

expose direct transition so it is really direct (#47)

also double checks deadlock vs finished

Co-authored-by: Thomas Horstink <[email protected]>

Feature/adl experimenting (#46)

* wip

* faster switching by allocating a new reducer queue

* make mermaid part of parsers

* recursive eventlogging

* wip adl

* wip 2

* formalizing direct mutation

* make getLog the only function

* rename some funcs

* simplify

* refactor with state

* nice refactor of fire loop

* remove html from ignore

* move to model

* remove remaining members

* thread id to class

* remove the class

* simpler reducer

* remove impl nullptr checks

* fail harder if the store is incomplete

* and undo the double queues

* small cleanup

* double checks

* cleaning cmake

* only trigger if net is still active

* getMarking

* cleaning

improving and cleanup (#42)

make it more clean

Feature/grml (#41)

* parser for grml files, which actually have priorities

* fix namespace mis

* rename parsers

* fix big bugz

---------

Co-authored-by: Thomas Horstink <[email protected]>

make it possible to reuse nets (#40)

Co-authored-by: Thomas Horstink <[email protected]>

no uninitialized crash (#38)

Co-authored-by: Thomas Horstink <[email protected]>

Feature/single run (#29)

* refactor and added option to run 1 transition or a specific transition.

* expose api

* little typo

* thread sanitized

* improve flaky test

* more ci

* less deps

* catch from apt

* catch from source

* remove more web

* little update to readme

* add mermaid drawing

* fix bug and bump version

---------

Co-authored-by: Thomas Horstink <[email protected]>

Feature/shutting down (#28)

* exit nicely

* getters that are valid during runtime

* wip commenting

* no more optional final marking

* fix missing header

* does nullptr work?

Co-authored-by: Thomas Horstink <[email protected]>