Inizio della pagina -
Logo DISCO
|
Visita la Versione ad elevata leggibilità
|
Vai al Contenuto della pagina
|
Vai alla Fine dei contenuti
|
Vai al Menu Principale
|
Vai alla Barra di navigazione (sei in)
|
Vai al Menu di navigazione (albero)
|
Vai alla Lista dei comandi
|
Vai alla Lista degli approfondimenti
|
Vai al Menu inferiore
|
Logo Ateneo
   
Per gli Studenti
Modelli per la concorrenza

 

MODELLI PER LA CONCORRENZA

 

Docente: L. Pomello

Crediti: 4 cfu 

OBIETTIVI FORMATIVI:

Il corso si propone di introdurre lo studente alle principali tecniche che consentono di sviluppare, specificare e verificare il modello di sistemi concorrenti e distribuiti ad eventi discreti.

ABILITA' SPECIFICHE:

Sapere sviluppare il modello di sistemi concorrenti e distribuiti, in particolare con le reti di Petri.

Saper specificare le proprietà di comportamento dei sistemi in esame e saper utilizzare i vari algoritmi per la verifica di tali proprietà.

CONTENUTI:

Panoramica di modelli di sistemi concorrenti a eventi discreti.

Classi di reti di Petri, dalle reti Elementari alle reti ad alto livello.

Modelli e proprietà di comportamento.

Tecniche di verifica di proprietà: metodi strutturali e

metodi basati sullo spazio degli stati e Model Checking.

 

 

 

 

Approfondimenti

Google Translate
Translate to English Translate to French Translate to German Translate to Spanish Translate to Chinese Translate to Portuguese Translate to Arabic
Translate to Albanian Translate to Bulgarian Translate to Croatian Translate to Czech Translate to Danish Translate to Dutch Translate to Finnish Translate to Greek Translate to Hindi
Translate to Hungarian Translate to Irish Translate to Japanese Translate to Korean Translate to Norwegian Translate to Polish Translate to Romanian Translate to Russian Translate to Serbian
Translate to Slovenian Translate to Swedish Translate to Thai Translate to Turkish

(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - ultimo aggiornamento di questa pagina 28/03/2011