Mulholland Drive, by David Lynch - Rete di Petri, REALTÀ vs SOGNO

Rete di Petri della REALTÀ di Mulholland Drive.

Le reti di Petri costituiscono uno strumento espressivo che ben si presta alla modellizzazione ed all’analisi di sistemi concorrenti. Due sono sostanzialmente i motivi che le rendono utili in tale ambito. Da un lato le reti di Petri consentono di dare al modello di un sistema il rigore formale necessario sia per eliminare ogni fonte d’ambiguità nella rappresentazione, sia per effettuare analisi e verifiche sul comportamento del sistema. Dall’altro il formalismo delle reti di Petri è suscettibile di una rappresentazione grafica piuttosto spontanea. In una rete di Petri gli elementi fondamentali sono due: le piazze, che definiscono lo stato del sistema, e le transizioni, che invece modificano lo stato. Lo stato di un sistema è dato dalla riunione di più stati parziali e indipendenti e la transizione in generale non riguarda lo stato globale del sistema, ma si limita a variarne solo una parte. Pertanto due eventi che in uno stato possono verificarsi l’uno indipendentemente dall’altro vengono rappresentati da due transizioni della rete che possono avere luogo
concorrentemente. Tra le proprietà delle reti di Petri vi è anche il fatto che il modello è sostanzialmente nondeterministico, ossia non è possibile obbligare una transizione ad avere luogo se più di una transizione può verificarsi in un certo stato. La scelta della transizione che deve avvenire è del tutto nondeterministica, dove per nondeterminismo non s’intende un comportamento in cui sono note le probabilità di verificarsi delle varie transizioni possibili, a partire da uno specifico stato, ma si intende la facoltà completamente libera di scegliere una qualsiasi tra le transizioni che possono avere luogo. Inoltre è importante sottolineare come le reti di Petri, nella
modellizzazione di un sistema, definiscano soltanto un ordinamento parziale tra gli eventi, ossia quali siano le precedenze che tra questi devono intervenire nel corretto funzionamento del sistema, senza far riferimento alcuno alla variabile tempo.

(definizione tratta da: etd.adm.unipi.it/theses/available/etd-06282004-120407/unr...)