Page begin -
Logo DISCO
|
Go to the Highly accessible area
|
Go to the Content page
|
Go to the End of content
|
Go to the Main menu
|
Go to the Navigation Bar (location)
|
Go to the Navigation menu (tree)
|
Go to the Commands list
|
Go to the Further readings
|
Go to the Bottom Menu
|
Logo Ateneo
   
Enrolled
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.

 

 

 

 

Further readings
(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - last update of this page 28/03/2011