Mist with the new check for petri nets works fine