https://1library.org/document/7qv4lm0q-timed-test-case-generation-using-labeled-prioritized-petri.html