[MoSIS] Petri nets: Coverability graph construction

[Robbe]

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)

If there exists a node in the path from root node (included) to such that , set for all
such that

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.

Ben ik de enige die hier wiskunde flaters in ziet?

[Sebastiaan]

Maar dat staat er toch? : " ... , Set x'(Pi) = w for all Pi such that x'(Pi) > y(Pi) "

[Robbe]

Maar dat staat er toch? : " ... , Set x'(Pi) = w for all Pi such that x'(Pi) > y(Pi) "

nee, x'(Pi) > y(Pi) is daar een gevolg van alle x'(Pi) = w te zetten

[Sebastiaan]

ok ja, het staat inderdaad niet juist.

Ik denk wel dat ze bedoelen
Set x'(Pi) = w for all Pi for which x'(Pi) > y(Pi) "

[Robbe]

Dat dacht ik ook da ze bedoelen, maar dat staat er dus ni

Ik vind da mijn examen net zo geinterpreteerd moet worden morgen...