Condizioni

Eventi

le frecce (“legano” le condizioni e gli eventi)

Le reti che abbiamo considerato fino ad adesso sono reti c.e. (condizione-eventi). In queste reti le marche sono dei TOKEN (1 solo posto).

 

Circuiti TOP-DOWN & BOTTOM UP: il rapporto fra descrizioni è effettuato attraverso delle entità matematiche che si chiamano MORFISMI. A livello più alto ci sono ASTRAZIONI (riduzione di dettagli).

MORFISMI DI RETI: m è composto da tre parti – sorgente

- bersaglio

-  mappa

m = < S, T, m >

S: sorgente

T: bersaglio (target)

m: mappa

 Esempio di RETE SORGENTE (rete pura non marcata):

Rete Pura

Le lettere rappresentano le condizioni, i numeri contrassegnano gli eventi della rete sorgente:

Posso immaginare tuttavia che alcuni “elementi” si possano confondere tra loro (ad esempio l’evento 1 e 2 con la condizione B); abbiamo pertanto una PERDITA DI DETTAGLIO:

Possiamo notare che alcune frecce conservano la loro direzione, altre collassato all’interno degli eventi o delle condizioni:

Gli schemi che riportiamo fanno capire meglio LE PROPRIETA’ DELLA RETE;

Questa schema invece evidenzia in modo più efficiente il TOP-DOWN:

La descrizione TOP-DOWN dei sistemi è una forma di MORFISMO; i vari livelli di astrazione sono legati da morfismi.

Esempio:

Nuova rete:

 

Se e scatta abbiamo semplicemente una marca aggiuntiva in uscita. Gli esempi proposti in seguito ci mostrano i casi in cui e ha concessione:

 

e ha concessione se e solo se:

oppure

oppure

HIGH LEVEL CONDITION EVENT NETS (HL CE)

 

 

 

 

e ha concessione se e solo se in ogni posto di ingresso (o di uscita possibilmente) esiste un valore e uno solamente che è stato assunto dal variabile del posto e tutti i predicati di ingresso.

 

Altri esempi…

e ha concessione !!!

ha:

esempio: generalizzato!

esempio: calcolo del fattoriale