Professional Documents
Culture Documents
1. EsempiodiretediPetriconunconflittostrutturale:letransizioniT1eT2
condividonoladipendenzadaP2
P1
P2
P3
T1
T2
P4
P5
2. Transizioniinconflittopotenziale:T1eT2sidiconoinconflittopotenziale
inquantoinconflittostrutturalema,laattualemarcaturanonportaadun
nessunconflitto
P1
P2
P3
T1
T2
P4
Transizioniin
conflittopotenziale
P5
3. Transizioniinconflittoeffettivo:T1eT2sidiconoinconflittoeffettivo
perchinconflittostrutturaleelattualemarcaturaportaadunconflitto
P1
P2
P3
T1
T2
P4
P5
Transizioniin
conflittoeffettivo
Risoluzionedeiconflitti
1. Esempio:esecuzionealternata.VienecreatoilpostoP2cherappresentail
postoP2perlattivazionedellatransizioneT2.Lesecuzionedi
questultimaproducelamarcaturadiP2perlesecuzionediT1.Lo
svolgimentodelleattivitavvienequindiinmanieraalternata
P1
P2
P3
T1
T2
P4
P2
P5
2. Esempio:prioritattraversoarchiinibitori.Vienedefinitaunapriorittra
ledueoperazioniT1eT2attraversolutilizzodiarchiinibitori,inquesto
casolattivazionediP1disattivalesecuzionediT2dandolaprecedenzaa
T1.IlpostoP1elatransizioneTauxsonostatiinseritiperevitareche
lesecuzionecostantediT1blocchilesecuzionediT2
P1
P2
P3
T2
T
aux
T1
P1
P4
P5
3. Esempio:prioritattraversoarchiinibitori.Inquestocasoledue
operazioniT1eT2vengonoeseguiteincascatadandoperprioritaT2
conlutilizzodiunarcoinibitore
P1
P2
T1
P4
P3
T2
P5