Analisi delle reti Time Basic
Definite le reti Time Basic in ogni loro aspetto è dunque arrivato il momento di analizzarle.
Esattamente come le reti di Petri, infatti, le reti TB fanno parte di quei linguaggi operazionali utilizzati per illustrare il funzionamento di un sistema senza entrare nei dettagli della sua effettiva implementazione (\(\neq\) linguaggi dichiarativi/logici, che si usano invece per costruire il sistema a partire dalle proprietà richieste). Visto questo ruolo, è necessario possedere una serie di strumenti di analisi specifici che permettano di “simulare” il funzionamento della rete per comprenderne l’evoluzione e le proprietà: ciò appare particolarmente evidente se si ricorda che le reti TB vengono spesso utilizzate per modellare sistemi Hard Real-Time in cui si deve avere la certezza del fatto che il sistema rispetterà tutta una serie di caratteristiche prima ancora di iniziare i lavori.