| in quale situazione si necessita delle reti di petri temporizzate? | nel caso di sistemi hard real time, ovvero in sistemi dove la componente temporale è un fattore essenziale |
| quali tipi di ritardi possono avere le reti temporizzate? | - reti con ritardo sui posti
il tempo associato a ciascun posto rappresenta il tempo che un gettone deve rimanere in tale posto prima di poter essere abilitato
- reti con ritardi sulle transizioni
possono:
-- esprimere la durata della transizione(tempo per generare i token sul nuovo posto)
-- esprimere il momento dello scatto |
| quali tipologie di tempi di scatto esistono? | in base ai tempi:
- unici: ogni transizione scatta in uno specifico momento
- multipli: ogni transizione può scattare in un insieme di momenti
in base alle variazioni:
- tempi costanti : l'insieme dei tempi di scatto è definito statisticamente (sempre uguale indipendentemente dallo stato della rete)
- tempi variabili : il tempo di scatto può variare in base allo stato della rete
rispetto alle loro relazioni:
- tempi relativi : espressi solo in termini relativi al tempo di abilitazione della transizione
- tempi assoluti : espressi in relazione a tempi assoluti (secondi) |
| quali sono le differenze fra reti con ritardo sui posti e reti con ritardo sulle transizioni? | ritardo nei posti: tempo che un gettone deve rimanere in tale posto prima di essere considerato per l’abilitazione
ritardo nelle transizioni: tempo entro quando la transizione è abilitata,
di fatti ogni rete può essere trasformata in un corrispettivo |
| quali assiomi devono rispettare le reti di petri real time basic a semantica temporale monotonica debole? | (A1) Monotonicità rispetto alla marcatura iniziale: tutti i tempi di scatto di una sequenza di scatto devono essere non minori di uno qualunque dei timestamp dei gettoni della marcatura iniziale.
(A2) Monotonicità dei tempi di scatto di una sequenza: tutti i tempi di scatto di una sequenza di scatti devono essere ordinati nella sequenza in maniera monotonicamente non decrescente.
(A3) Divergenza del tempo: non è possibile avere un numero infinito di scatti in un intervallo di tempo finito. |
| come è definita formalmente una rete real time basic? | da una sestupla:
- P : insieme dei posti
- T : insieme delle transizioni
- F : insieme dei flussi
- m0 : multiset della marcatura iniziale
- theta : dominio temporale
- tf : funzione che associa ad ogni transizione un a funzione temporale |
| quali semantiche di tempo esistono?
quali assiomi rispettano? | semantica temporale debole :
- A1 Monotonicità rispetto alla marcatura iniziale
- A3 Divergenza del tempo
semantica temporale monotonica debole
+ A2 Monotonicità dei tempi di scatto di una sequenza
semantica temporale forte
+ A4 Marcatura forte iniziale
+ A5 Sequenza di scatti forte
semantica temporale mista
- diverse semantiche per diversi posti della rete |
| che cosa stabilisce una semantica temporale debole? | impone che una transizione possa scattare solo in uno degli istanti identificati dalla sua funzione temporale e non possa scattare prima di essere stata abilitata
(fermo restando che una transizione non è obbligata a scattare quando abilitata)
assiomi temporali:
- monotonicità rispetto alla marcatura iniziale : ogni marcatura non può contenere gettoni prodotti nel futuro
- divergenza del tempo: non è possibile avere un numero infinito di scatti in un ingervallo ti tempo finito |
| che cosa aggiunge la semantica temporale monotonica debole? | oltre alle proprietà della semantica temporale debole aggiunge un ulteriore assioma temporale:
- monotonicità dei tempi di scatto di una sequenza: impone necessariamente che i tempi di scatto delle transizioni all’interno di una sequenza siano monotoni non decrescenti, forzando così il fatto che nell’intera rete il tempo non possa tornare indietro |
| che relazione intercorre fra WTS e MWTS? | esiste un teorema che afferma che per ogni sequenza di scatti ammissibile in semantica debole esiste una sequenza di scatti ammissibile in semantica monotonica debole equivalente ottenibile per semplice permutazione delle occorrenze degli scatti. |
| perchè la sequenza t1,t3,t2? non è possibile in una semantica temporale monotonica debole? | perchè t1 viene attivato in un tempo 10-15
il gettone in p1 diventa obsoleto e quindi t2 non può più scattare
il tutto sarebbe concesso nell'ambito di una semantica debole |
| quale comportamento cerca di forzare un semantica temporale forte? | si vuole che se una transizione può scattare, allora deve scattare entro il suo massimo tempo di scatto ammissibile a meno che non venga disabilitata prima del proprio tempo massimo di scatto ammissibile |
| quali assiomi deve rispettare una semantica temporale forte? | deve rispettare i precedenti 3 assiomi e in più:
- marcatura forte iniziale: il massimo tempo di scatto di tutte le transizioni abilitate nella marcatura dev’essere maggiore o uguale del massimo timestamp associato ad un gettone in tale marcatura
- sequenza di scatti forte: una transizione deve scattare entro il suo tempo massimo a meno che non venga disabilitata |
| nel seguente grafo, la transizione
T2 scatta al tempo 6→
T1 scatta al tempo 12→
T3 scatta al tempo 14
è una sequenza STS? | NO
in quanto lo scatto di T2 abilita la transizione T3, che dovrebbe quindi scattare entro il tempo 9 ( enab = 6) ma non lo fa. |
| quali sono le necessità che portano a dover utilizzare una semantica temporale mista? | il fatto che in una sola rete temporizzata ci sono diversi agenti che agiscono secondo diverse semantiche come utenti e computer.
nella semantica temporale mista infatti associa una semantica temporale debole o forte alle singole transazioni e non all'intera rete |
| che cosa comporta la conversione di una rete TB in una rete ad alto livello? | - il contenuto informativo del tempo potrebbe essere contenuto all'interno dei gettoni
- implementando delle funzioni che controllano i timestamp dei gettoni nel preset e i tempi di scatto delle transizioni
- i gettoni generati da una transizione sono tutti dotati dello stesso dato temporale(non minore della sum(timestamp gettoni preset))
- assiomi 1 e 3 all'interno delle funzioni delle transizioni
- assioma 2 necessita di un posto globale contenente il gettone dell'ultimo scatto
- assiomi 4 e 5 difficilmente realizzabili con l'aggiunta dii un posto globale in uscita e in ingresso in ogni transizione |
| che cosa sono le reti Time petri ad alto livello? | sono delle reti di petri dove gli aspetti funzionali possono dipendere da quelli temporali e viceversa |
| che cosa è uno stato simbolico e in quale contesto viene utilizzato? | viene utilizzato nell'ambito di analisi di raggiungibilità temporale e permette di rappresentare un inisieme di possibili stati con lo stesso numero di gettoni in ciascun posto.
è caratterizzato dalla tupla:
- mu : marcatura simbolica
- C : sistema di vincoli che rappresentano le relazioni tra gli identificatori simbolici dei gettoni |
| a che cosa serve l'algoritmo di floyd?
si ottengono grafi aciclici soddisfacenti? | - è un algoritmo che viene utilizzato per semplificare i vincoli forniti dei nodi del grafo di copertura di una rete di petri temporizzata,
- scartando informazioni riguardanti come si è arrivati ad un certo stato e mantenento quelle riguardanti la marcatura corrente
no, per ottenere dei grafici migliori è opportuno utilizzare:
- inclusione fra stati che rappresentano sottoinsiemi di marcature
- eliminare i vincoli ai tempi assoluti
- introduzione degli stati anonimi per gettoni obsoleti |
