MED Logici
Cosa sono i MED logici
I MED Logici sono modelli dei sistemi eventi discreti (SED) con su una sequenza di eventi senza alcuna informazione sugli istanti temporali in cui si verificano.
La traiettoria di un MED logico è una stringa di eventi.
$$ {e_1, e_2, e_3, ... } $$
La temporizzazione degli eventi non è considerata. Da questo punto di vista si distinguono dai MED temporizzati.
I MED logici sono usati prevalentemente per studiare le caratteristiche qualitative dei sistemi a eventi discreti (SED).
Nota. Sono invece poco usati come strumenti di calcolo perché la complessità computazionale è elevata perché il numero delle tracce ammissibili da esaminare può diventare esponenziale.
La rappresentazione dei MED logici
Per formalizzare un modello MED devo indicare l'insieme delle tracce/traiettorie ammissibili.
Cosa sono le traiettorie ammissibili
Le traiettorie ammissibili sono le possibili sequenze di eventi che si potrebbero verificare.
Nota. Realisticamente, nella costruzione di un MED logico l'insieme delle tracce non contiene tutte le possibili traiettorie possibili del sistema ma soltanto un sottoinsieme più ristretto con particolari caratteristiche in termini di stabilità, ordinamento desiderato degli eventi, uso delle risorse, comportamento dinamico, ecc. La selezione del sottoinsieme dipende dall'obiettivo del sistema SED.
Per rappresentarle posso usare due strumenti:
- Gli automi
- Le reti di Petri
Come già anticipato, questi strumenti sono utili soprattutto per studiare le proprietà qualitative di un sistema SED.
Sono, invece, troppo complessi come metodo di verifica o di risoluzione, perché la complessità computazionale e le tracce ammissibili da esaminare crescono in modo esponenziale.
Nota. Negli anni '70-'80 gli autori Ramadge e Wonham cercarono di ridurre il numero delle tracce ammissibili seguendo un approccio modulare ed euristico. Le tracce erano selezionate in base a criteri di controllabilità, gerarchia e composizione. Per un approfondimento rimando alle loro pubblicazioni.
