Faulty PNML import
Brought to you by:
cwguenther,
hmwverbeek
I imported the PNML file attached into ProM. The initial marking consists of two tokens (places Px16 and Px17).
Around 20-50 markings should be reachable from the initial marking. However, the reachability analysis (Analysis => Selected Petri net => Petri net analysis) only displays 2 other markings.
Obviously, the tool thinks that the initial marking only consists of one token on place Px16.
Sample PNML file