Scaricare la presentazione
La presentazione è in caricamento. Aspetta per favore
PubblicatoManlio Marinelli Modificato 10 anni fa
1
Un vostro amico ha comprato una casa in cui dimorano due fantasmi
chiassosi e petulanti Vi chiede aiuto
2
Un fantasma canta .. stonando
Il suono d’un organo o la combustione d’incenso fan cambiare il loro comportamento Un fantasma canta .. stonando l’altro fantasma ride .. sguaiatamente
3
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
4
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
5
sul risultato che si vuole conseguire
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 C R
6
Si tratta di un POSTO della rete di Petri che realizzerete
C R lo stato finale del processo risolutivo Gli altri posti sono C R sono entrambi in azione C R si sente solo cantare C R si sente solo ridere
7
In questo momento entrambi i fantasmi sono in azione
C R falso : in questo momento ride Il fantasma che canta continua a cantare indipendentemente dal suono dell’organo e dal fumo dell’incendio
8
Continua a ridere Non ride più
C R Continua a ridere Non ride più Il fantasma che canta continua a cantare indipendentemente dal suono dell’organo e dal fumo dell’incendio
9
Stato successivo Azioni C R C R C R C R
Suono organo e brucio incenso [O,I] C R Non suono organo e brucio incenso [O,I] C R Suono organo e non brucio incenso [O,I] C R Non suono organo e non brucio incenso [O,I] C R
10
OI oppure OI C R C R OI oppure OI C R C R
Presentazioni simili
© 2024 SlidePlayer.it Inc.
All rights reserved.