Add petri net enabling higher priority unit test