PicciPucciPacci

User info:

Registered: Oct 2005
Posts: 115 (0.02 al dì)
Location: terra di merdor
Corso: Ticom
Anno: 1
Time Online: 1 Day, 13:52:26 [...]
Status: Offline

Post actions:

Originally posted by toyrat

CSP e CCS non li avete fatti?sono due modelli di concorrenza posteriori alle reti di petri ma non migliori li' ne ha fatto un rapido accenno...

ups, scusa Shiffola, non avevo letto dove dicevi di spiegarti i cps e ccs! sorry!
comunque sono due modelli per spiegare la concorrenza, oltre alle reti di petri.
usano tutte e due una comunicazione sincrona, mentre le reti di petri modellano sia una comunicazione sincrona che asincrona.

poi ha fatto vedere anche un altro modello, quello degli actors, ma l'ha fatto velocissimo...
cmq vedendo che sul jli non li ha mai menzionati, magari quest'anno non li ha fatti!

Toyrat grazie del pdf!

ma ragazzi volevo chiedervi....nell'esercizio 11 sul jli...dove dice:
a coincide con a'
b coincide con b'
....sul pdf c'è solo a & b, di a' & b' non c'è traccia!!!
per caso è come nelle videolezioni, dove una volta a' & b' corrispondono a t2 e t4, oppure corrispondono a t1 e t3??!?!
poi sempre in quell'esercizio lì, cos'è una funzione di labelling? mai sentito sto termine qua....

shiffola

dsy core staff

User info:

Registered: Jan 2004
Posts: 916 (0.12 al dì)
Location: milano
Corso: ticom
Anno: 1
Time Online: 13 Days, 17:25:44 [...]
Status: Offline

Post actions:

Originally posted by toyrat
sentite a riguardo della matrice d'incidenza, ho trovato questa regola in una definizione per cui se si sommano i valori assunti da ogni transizione ogni colonna da' risultato zero affinche' la matrice sia corretta
quindi potrebbe essere un buon modo per verificare se l'abbiamo fatta bene!!!

nella matrice postata infatti funziona questa regola
vi mando il link
http://www.dis.uniroma1.it/~sassano...POR/matrici.pdf

Attenzione: durante la correzione abbiano chiesto proprio questa cosa alla prof (ovvero se effettivamente la somma delle righe e delle colonne doveva dare zero). Lei ha risposto che vale solo se il numero di archi entranti nella transizione è uguale al numero di archi uscenti.

La pagina da te linkata la guarderò più tardi, quanto scritto prima è solo per dirvi quello che ci è stato detto in classe eh

shiffola

dsy core staff

User info:

Registered: Jan 2004
Posts: 916 (0.12 al dì)
Location: milano
Corso: ticom
Anno: 1
Time Online: 13 Days, 17:25:44 [...]
Status: Offline

Post actions:

Originally posted by PicciPucciPacci
ups, scusa Shiffola, non avevo letto dove dicevi di spiegarti i cps e ccs! sorry!
comunque sono due modelli per spiegare la concorrenza, oltre alle reti di petri.
usano tutte e due una comunicazione sincrona, mentre le reti di petri modellano sia una comunicazione sincrona che asincrona.

poi ha fatto vedere anche un altro modello, quello degli actors, ma l'ha fatto velocissimo...
cmq vedendo che sul jli non li ha mai menzionati, magari quest'anno non li ha fatti!

Toyrat grazie del pdf!

ma ragazzi volevo chiedervi....nell'esercizio 11 sul jli...dove dice:
a coincide con a'
b coincide con b'
....sul pdf c'è solo a & b, di a' & b' non c'è traccia!!!
per caso è come nelle videolezioni, dove una volta a' & b' corrispondono a t2 e t4, oppure corrispondono a t1 e t3??!?!
poi sempre in quell'esercizio lì, cos'è una funzione di labelling? mai sentito sto termine qua....

dunque dunque.. li stavo riscrivendo adesso..
in Sigma: t1 e t3 le chiama tau; t2 = a' t4 = b'
in Sigma': t2,t4=tau t1=a' t3=b'

Funzione di labelling: semplicemente cambia l'etichetta (quindi solo il nome) delle tranzizioni

All'atto pratico: cambiando etichette poteva usare gli stessi modelli per poi fare due composizioni parallele diverse e domande differenti (durante la correzione abbiamo infatti notato che etichettando "a caso" i conti non tornano!)

Soprattutto, notare che per verificare l'isomorfismo di due sistemi la loro etichettatura dev'essere confrontabile!

Per l'altra cosa: a lezione diceva che effettivamente esistono altri modelli per la concorrenza.. se li ha nominati mi son persa i nomi, ma in ogni caso non li ha approfonditi (non escludo lo faccia più avanti, ma non so )

PicciPucciPacci

User info:

Registered: Oct 2005
Posts: 115 (0.02 al dì)
Location: terra di merdor
Corso: Ticom
Anno: 1
Time Online: 1 Day, 13:52:26 [...]
Status: Offline

Post actions:

ah occhei!
grazie!

quindi....riassumendo, vediamo se ho capito!

SITUAZIONE DI CONCORRENZA: avviene quando le componenti del sistema possono interagire tra di loro (esempio: il producer arriva nella situazione di deliver, il buffer si riempie e ora il cosumer può fare la take e cominciare a "lavorare")

SITUAZIONE DI CONTATTO: ho la precondizione verificata, ma lo è anche la postcondizione, quindi non posso andare avanti. Per eliminare la situazione di contatto dovrei modellare il sistema in modo completo (sarebbe l'esempio SIGMA1 primo)

SITUAZIONE DI CONFUSIONE: l'ordine in cui scattano le transizioni cambia il comportamento del sistema

SITUAZIONE DI CONFLITTO: un evento è in conflitto con un altro se gli toglie la possibilità di verificarsi (cioè se l'evento può fare due scelte)

...non sono molto convinta sulla situazione di conflitto e quella di confusione....


nei vari sistemi analizzati (sigma 0, sigma 1, sigma1'....) secondo me c'è:
situazione di contatto: solo in sigma1'
situazione di conflitto: in sigma2
situazione di confusione: in sigma2
situazione di concorrenza: in tutti (???)

...voi che dite??!?!

Last edited by PicciPucciPacci on 16-11-2008 at 15:21

shiffola

dsy core staff

User info:

Registered: Jan 2004
Posts: 916 (0.12 al dì)
Location: milano
Corso: ticom
Anno: 1
Time Online: 13 Days, 17:25:44 [...]
Status: Offline

Post actions:

Ciò che hai scritto, tranne piccole cose, è corretto, le riprendo così che possiate leggere ciò che viene detto a lezione (e come le ho capite io, stiamo discutendo in tre ma rivolgo l'invito a correggere anche ad altri quando necessario!) :

Concorrenza: due transizioni che hanno concessione possono verificarsi contemporaneamente (ma non necessariamente insieme: in generale, in modo indipendente) --> dire che si verifica quando le due componenti possono interagire può trarre in inganno

Contatto: ok. La situazione si risolve, appunto, aggiungendo gli stati complementari.

Confusione: si può verificare quando ci sono concorrenza e conflitto, dipende dall'evoluzione del sistema e quindi dall'ordine delle transizioni concorrenti.

Conflitto: quando l'evoluzione dipende da un'evoluzione deterministica del sistema.


l'ultimo esercizio di verifica delle situazioni (conc, contatto etc) ha le soluzioni (quindi son corrette), le riporto:

code:


	         E0	E1	E1'	E2	E2'
---------------------------------------------------
concorrenza  	v	v	v	v	v
conflitto   	x	x	x	v	x
confusione    	x	x	x	x	x
contatto       	x	x	v	x      X

PicciPucciPacci

User info:

Registered: Oct 2005
Posts: 115 (0.02 al dì)
Location: terra di merdor
Corso: Ticom
Anno: 1
Time Online: 1 Day, 13:52:26 [...]
Status: Offline

Post actions:

mmm....e come mai in sigma2 (E2) non si verifica la situazione di confusione?
perchè la concorrenza si verifica, e pure il conflitto...
quindi dovrebbe verificarsi anche la confusione....credo!

cioè, si verifica sicuramente quando c'è conflitto e concorrenza, oppure può capitare che non succeda?

shiffola

dsy core staff

User info:

Registered: Jan 2004
Posts: 916 (0.12 al dì)
Location: milano
Corso: ticom
Anno: 1
Time Online: 13 Days, 17:25:44 [...]
Status: Offline

Post actions:

può capitare! infatti nel quiz l'avevo sbagliata perchè non l'ho nemmeno controllata

PicciPucciPacci

User info:

Registered: Oct 2005
Posts: 115 (0.02 al dì)
Location: terra di merdor
Corso: Ticom
Anno: 1
Time Online: 1 Day, 13:52:26 [...]
Status: Offline

Post actions:

aaaaahh....ho capito!
grazie mille per tutti i chiarimenti!!!!!

toyrat

User info:

Registered: Jun 2008
Posts: 25 (0.00 al dì)
Location:
Corso: informatica
Anno:
Time Online: 6:55:45 [...]
Status: Offline

Post actions:

quindi nn e' detto che se c'e' conflitto c'e' per forza confusione!!!quindi bisogna vedere se il conflitto c'e' sempre oppure solo dopo determinate scelte e allora solo in questo ultimo caso e' confusione...giusto???anche io ho sbagliato nell'esercizio a valutare sigma2

::eroinbob::

.amico.

User info:

Registered: Jan 2004
Posts: 39 (0.01 al dì)
Location: Milano/Taranto
Corso: Tico
Anno: 1
Time Online: 2 Days, 14:13:01: [...]
Status: Offline

Post actions:

Originally posted by shiffola
allora...

- prendo un sistema (es: sigma dell'esercizio 11 di quest'anno)
- costruisco la matrice così composta: scrivo sulla prima riga i nomi di tutte le transizioni; scrivo sulla prima colonna i nomi di tutti gli stati

- analizzo una transizione alla volta e scrivo:
---- -1 in corrispondenza (degli stati) delle precondizioni verificate (perchè tolgo la marca)
---- +1 in corrispondenza (degli stati) delle postcondizioni attivate (perchè aggiungo la marca)

mi rendo conto che questa spiegazione possa risultare poco chiara, quindi fai pure domande :S

Gigia

Ah!

User info:

Registered: Sep 2004
Posts: 481 (0.07 al dì)
Location: Milano(provincia)
Corso: TICOM
Anno: Tagliato ultimo traguardo
Time Online: 15 Days, 21:25:10 [...]
Status: Offline

Post actions:

qualcuno mi potrebbe spiegare (magari con un esempio) i concetti di vivezza e 1-vivo.
grazie

__________________
My Foto

"Sparerò a caso ragionando".(Anonimo)

Du gut d'oli fan i smach

toyrat

User info:

Registered: Jun 2008
Posts: 25 (0.00 al dì)
Location:
Corso: informatica
Anno:
Time Online: 6:55:45 [...]
Status: Offline

Post actions:

allora da quello che ho capito io
la differenza tra le due e' che se un sistema ha tutte le transizioni 1-vive (tutte hanno possibilita' di verificarrsi) puo' verificarsi comunque il blocco del sistema
invece se il sistema e' vivo le sue transizioni hanno SEMPRE possibilita' di verificarsi...
ma a livello di definizioni la cosa non e' chiara per niente neanche a me anzi ...:O

toyrat

User info:

Registered: Jun 2008
Posts: 25 (0.00 al dì)
Location:
Corso: informatica
Anno:
Time Online: 6:55:45 [...]
Status: Offline

Post actions:

ora che ho quasi finito il ripasso mi sono posta una domanda, ho capito come si costruiscono le matrici d'incidenza ma a cosa mi servono???
qual'e' la caratteristica che mettono in evidenza???
e' da un po' che ci rifletto ma ancora mi sfugge...

lo so sono un po' testona

toyrat

User info:

Registered: Jun 2008
Posts: 25 (0.00 al dì)
Location:
Corso: informatica
Anno:
Time Online: 6:55:45 [...]
Status: Offline

Post actions:

Originally posted by ::eroinbob::
sulla tabella che hai postato però hai messo i -1 in corrispondenza delle post e i +1 per le pre......

qual'è la notazione corretta??? a me risulta che sia -1 = pre e +1 = post (come scritto nel post che sto quotando)

ma appunto e' giusta la matrice postata!!!
infatti
p1 per t1 e' una pre e va a -1 mentre p2 che e' la post va a +1
come pure
b1 per alfa e' una pre e quindi=-1
mentre per beta e' una post e quindi=+1

perche' dici che non corrispondono??? misembrava di aver capito tanto bene dalla spiegazione che aveva fatto shiffola!!!

shiffola

dsy core staff

User info:

Registered: Jan 2004
Posts: 916 (0.12 al dì)
Location: milano
Corso: ticom
Anno: 1
Time Online: 13 Days, 17:25:44 [...]
Status: Offline

Post actions:

Originally posted by toyrat

ma appunto e' giusta la matrice postata!!!
infatti
p1 per t1 e' una pre e va a -1 mentre p2 che e' la post va a +1
come pure
b1 per alfa e' una pre e quindi=-1
mentre per beta e' una post e quindi=+1

perche' dici che non corrispondono??? misembrava di aver capito tanto bene dalla spiegazione che aveva fatto shiffola!!!

eccomi.. allora: le pre -1; le post +1
se ho sbagliato a scriverle scusate!!

c'è chi si chiede a cosa servono le matrici.. (sorrido non per prendere in giro ma perchè diversi esercizi sono fini a sè stessi e basta eh!)
ecco.. diciamo che a noi, per il tipo di studio che facciamo dei sistemi, servono a poco, nel senso che i comportamenti li vediamo ad esempio dai case graph piuttosto che dalle fs/ofs.

MA le matrici, proprio perchè si costruiscono guardando solo la rete (quindi non serve conoscere lo stato "attuale" (evoluzioni) del sistema, ma solo pre/post condizioni) possono essere "riempite" mediante un algoritmo e soprattutto si possono applicare nozioni di algebra lineare ( ) che noi non affrontiamo...




dai miei appunti (ovvero trascrivendo quello che diceva la prof, cercando di capire visto che non ci sono definizioni precise ) leggo questa nota/riassunto finale:
--- vivezza: non ci sono mai situazioni di blocco, sistema sempre funzionante; ESEMPIO: OSS||Sigma --> il sistema mantiene nel tempo le proprietà di buon comportamento -->
t appartiene T PEROGNI C appartiene [Cin> Esiste c appartiene [C> tale che C[t

...scrivere gli insieme non mi riesce bene qui, scrivo a parole: qualunque sia il caso corrente non è detto che t abbia concessione, ma le altre t avranno la possibilità di scattare quando il sistema evolverà opportunamente--> esiste un'evoluzione possibile tale che esiste un caso per t abbia concessione. ES: t non ha concessione subito, ma esiste un cammino in cui avrà concessione

1-vivezza t può scattare solo una volta, tipica delle inizializzazioni.





[scusate per la forma scritta poco curata ma devo rivedere tutta la teoria e sono un po' di fretta!]

Last edited by shiffola on 17-11-2008 at 19:55