[MoSIS] Petri nets: Coverability graph construction
Posted: Thu Jan 19, 2012 2:00 am
op slide 66 van de petri nets presentatie staat bij het aanmaken van een nieuwe node x' het volgende (plus nog wat dingen die obvious zijn)
Ben ik de enige die hier wiskunde flaters in ziet?
ik versta hier dat je alle moet veranderen naar als dominant is, which does not make sense... In Cassandras p122 staat net hetzelfde. Volgens mij moet daar staan: voor alle waarvoor geldt dat , zet . Dit is ook hetgeen ze doen in alle voorbeelden die ik zie.slides wrote:If there exists a node in the path from root node (included) to such that , set for all
such that
Ben ik de enige die hier wiskunde flaters in ziet?