Corsi di Laurea

[mario051]

Salve, qualcuno saprebbe dirmi come bisogna risolvere l' utilizzo alternativo di risorse con una Rete di Petri?
Esempio: una macchina M1 invia i pezzi alternativamente al buffer B1 o al buffer B2. grazie.

[Blackjack]

la cosa è abbastanza semplice da realizzare, e prevede l'aggiunta di 2 nuovi posti nella pn.

in pratica, in uno scenario del genere avrai nella pn un posto, chiamiamolo M, alla quale sono collegate 2 transizioni in uscita le quali a loro volta sono collegate ai posti B1 e B2, rispettivamente. tu devi aggiungere 2 nuovi posti, dove la presenza di un gettone in uno di questi 2 posti aggiuntivi rappresenta il fatto che, rispettivamente, il pezzo sarà inviato al buffer B1 e al buffer B2. In uno di questi 2 stati aggiuntivi devi metterci un gettone iniziale, in questa maniera imponi che inizialmente uno dei 2 buffer sia abilitato a ricevere il pezzo (nell'esempio che ho allegato, l'ho messo allo stato di sinistra corrispondente al buffer B1).

File allegato

•  alternatività_SAD.JPG   7,37K   527 Download

[mario051]

Grazie tante per la spiegazione.

[Fabrix883]

Scrivo qui per non aprire un'altra discussione:

Come si gestisce la situazione opposta? Ovvero se ho una macchina M1 che riceve pezzi da due buffer B1 e B2 ma in modo NON alternato, e M2 NON assembla i due pezzi dei due buffer?
Un esempio di questa problematica è rappresentata nella traccia d'esame del 10-06-2008 da, appunto, una macchina M2 che riceve pezzi dai buffer B1 e B2.

Grazie a chiunque riesca a risolvere questo enigma

[mercurio]

si fa normalmente...ovvero da b1 parte una transizione, da b2 parte un'altra transizione ed antrambe entrano in m2!!!!

[Fabrix883]

si fa normalmente...ovvero da b1 parte una transizione, da b2 parte un'altra transizione ed antrambe entrano in m2!!!!

Ma scusa, se entrambe le transizioni risultano abilitate e scattano "contemporaneamente" non si genera un situazione di conflitto? E' proprio questo che crea il problema: da quale buffer prendere il pezzo per M2 e in che modo si fa attendere l'altro buffer?

Se la macchina M2 assemblasse i pezzi dei buffer congiuntamente si farebbe con un unica transizione, mentre se i pezzi giungono in modo alternato basta aggiungere due nuovi posti come ha detto Blackjack, ma in questo caso è tutto un casino

[Blackjack]

Ma scusa, se entrambe le transizioni risultano abilitate e scattano "contemporaneamente" non si genera un situazione di conflitto?

Certo che si genera una situazione di conflitto... ma sul libro è scritto chiaramente che nel progetto del supervisore stiamo supponendo che due eventi non possono mai accadere nello stesso istante!

Nel caso di conflitti entra il gioco lo scheduler, ma questo esula dagli obiettivi di questo corso. La soluzione "banale" che ha detto mercurio è quella giusta imo.

[mercurio]

Certo che si genera una situazione di conflitto... ma sul libro è scritto chiaramente che nel progetto del supervisore stiamo supponendo che due eventi non possono mai accadere nello stesso istante!

Nel caso di conflitti entra il gioco lo scheduler, ma questo esula dagli obiettivi di questo corso. La soluzione "banale" che ha detto mercurio è quella giusta imo.

quoto!!!!

[Fabrix883]

Certo che si genera una situazione di conflitto... ma sul libro è scritto chiaramente che nel progetto del supervisore stiamo supponendo che due eventi non possono mai accadere nello stesso istante!

Nel caso di conflitti entra il gioco lo scheduler, ma questo esula dagli obiettivi di questo corso. La soluzione "banale" che ha detto mercurio è quella giusta imo.

Grazie ragazzi... l'ultima parte del corso mi ha mandato in confusione facendomi dimenticare l'ipotesi di non contemporaneità di eventi
Tenetevi pronti perché tra non molto ritornerò con nuovi dubbi amletici su questi argomenti

[tanux]

Vorrei solo che mi venisse chiarita una cosa: ma i due posti si aggiungono alla rete di petri iniziale e da quella poi ricavare la matrice d'incidenza...oppure sono posti che si aggiungono al supervisore alla fine di tutto?
Ma dove sta l'utilizzo alternativo di risorse? Sul libro non l'ho trovato

[tanux]

Ok ho risposto alla mia domanda leggendo questo.