Un vostro amico ha comprato una casa
in cui dimorano due fantasmi
chiassosi e petulanti
Vi chiede aiuto
Il suono d’un organo o la combustione
d’incenso fan cambiare il loro
comportamento
Un fantasma canta .. stonando
l’altro fantasma ride .. sguaiatamente
Il fantasma canterino continua nella
sua azione (cantare o tacere)
a meno che
non si senta il suono di un organo
e, contemporaneamente,
il fantasma che ride stia in silenzio
in tal caso
fa il contrario di quello che
faceva prima
Il fantasma che ride è sensibile al
fumo dell’incenso
Se l’incenso viene bruciato
imita il comportamento dell’altro
fantasma
Se non c’è fumo
fa il contrario di quello che sta
facendo l’altra voce
Per modellare la situazione si deve
assumere un adeguato punto di vista
Per imboccare la via maestra verso la
risoluzione di un problema è necessario
concentrarsi
sul risultato che si vuole conseguire e
precisare
le sue caratteristiche
Noi vogliamo che entrambi i fantasmi tacciano
CR
Si tratta di un POSTO della rete di Petri
che realizzerete
CR
lo stato finale del processo risolutivo
Gli altri posti sono
sono entrambi in azione
CR
si sente solo cantare
si sente solo ridere
CR
CR
In questo momento entrambi
i fantasmi sono in azione
CR
falso : in questo momento ride
Il fantasma che canta continua a cantare
indipendentemente dal suono
dell’organo e dal fumo dell’incendio
CR
Continua
a ridere
Non ride
più
Il fantasma che canta continua a cantare
indipendentemente dal suono
dell’organo e dal fumo dell’incendio
CR
Azioni
Stato
successivo
Suono organo e brucio incenso [O,I]
CR
Non suono organo e brucio incenso [O,I]
CR
Suono organo e non brucio incenso [O,I]
CR
Non suono organo e non brucio incenso [O,I]
CR
OI oppure OI
CR
CR
CR
CR