Transition incorrectly enabled when inbound place is empty and arc weight expression evaluates to zero

sarahtattersall / PIPECore

Core libraries for building and editing Petri nets

6 stars 12 forks source link

Transition incorrectly enabled when inbound place is empty and arc weight expression evaluates to zero #39

Closed sjdayday closed 9 years ago

sjdayday commented 9 years ago

Given place P0, transition T0 and one inbound arc "P0 TO T0", if P0 is empty and arc "P0 TO T0" has an arc weight expression "#(P0)" (i.e., "the weight of this arc is the number of tokens in P0"), then the transition T0 is enabled. It shouldn't be.