[MoSIS] Petri nets: Coverability graph construction

Forum van 1ste Master en 2e Master Informatica.

Moderator: Praesidium

User avatar
Robbe
WOZ
Posts: 2161
Contact:

[MoSIS] Petri nets: Coverability graph construction

Post#1 » 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)
slides wrote: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?
"I'm not afraid of falling, I'm afraid of landing" -- Sam
How To Ask Questions The Smart Way

Zingen? UKA-n dat ook!

User avatar
Sebastiaan
Posts: 1184

Re: [MoSIS] Petri nets: Coverability graph construction

Post#2 » Thu Jan 19, 2012 8:56 am

Maar dat staat er toch? : " ... , Set x'(Pi) = w for all Pi such that x'(Pi) > y(Pi) "
WINAK Schacht 2007-2008
WINAK Commiliton 2008-2009
ASK-Stuwer Snelkrant 2009-2010
ASK-Stuwer Vice-Praeses 2010-2011
ASK-Stuwer Praesidium 2011-2012
ASK-Stuwer IT 2012-2013

User avatar
Robbe
WOZ
Posts: 2161
Contact:

Re: [MoSIS] Petri nets: Coverability graph construction

Post#3 » Thu Jan 19, 2012 1:21 pm

Sebastiaan wrote: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
"I'm not afraid of falling, I'm afraid of landing" -- Sam
How To Ask Questions The Smart Way

Zingen? UKA-n dat ook!

User avatar
Sebastiaan
Posts: 1184

Re: [MoSIS] Petri nets: Coverability graph construction

Post#4 » Thu Jan 19, 2012 2:24 pm

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) "
WINAK Schacht 2007-2008
WINAK Commiliton 2008-2009
ASK-Stuwer Snelkrant 2009-2010
ASK-Stuwer Vice-Praeses 2010-2011
ASK-Stuwer Praesidium 2011-2012
ASK-Stuwer IT 2012-2013

User avatar
Robbe
WOZ
Posts: 2161
Contact:

Re: [MoSIS] Petri nets: Coverability graph construction

Post#5 » Thu Jan 19, 2012 2:46 pm

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

Ik vind da mijn examen net zo geinterpreteerd moet worden morgen...
"I'm not afraid of falling, I'm afraid of landing" -- Sam
How To Ask Questions The Smart Way

Zingen? UKA-n dat ook!

Return to “1ste Master/2e Master”

Who is online

Users browsing this forum: No registered users and 5 guests

cron