La tesi è un'introduzione alla teoria delle Reti di Petri; esse costituiscono un particolare modello per rappresentare e studiare in modo rigoroso sistemi che, per loro natura, necessitano dei concetti di concorrenza e contemporaneità. Si procede definendo gli elementi base di tali reti,alcune loro proprietà e si accenna alla rappresentazione matriciale. Segue una breve digressione sulle varie tipologie di reti di Petri con particolare attenzione a quelle temporizzate. Vengono infine proposti alcuni esempi riassuntivi di applicabilità di suddetta teoria

Introduzione alle Reti di Petri

Zanotto, Elena
2012/2013

Abstract

La tesi è un'introduzione alla teoria delle Reti di Petri; esse costituiscono un particolare modello per rappresentare e studiare in modo rigoroso sistemi che, per loro natura, necessitano dei concetti di concorrenza e contemporaneità. Si procede definendo gli elementi base di tali reti,alcune loro proprietà e si accenna alla rappresentazione matriciale. Segue una breve digressione sulle varie tipologie di reti di Petri con particolare attenzione a quelle temporizzate. Vengono infine proposti alcuni esempi riassuntivi di applicabilità di suddetta teoria
2012-02-24
42
reti, rete, Petri, temporizzate, condizioni, eventi, token, posti, transizioni
File in questo prodotto:
File Dimensione Formato  
Tesi_Elena_Zanotto_591936_INF.pdf

accesso aperto

Dimensione 660.86 kB
Formato Adobe PDF
660.86 kB Adobe PDF Visualizza/Apri

The text of this website © Università degli studi di Padova. Full Text are published under a non-exclusive license. Metadata are under a CC0 License

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.12608/14899