https://1library.org/document/1y98vdvz-hypothesis-test-unsuccessful-partial-explorations-state-spaces-petri.html