mercoledì, marzo 03, 2010

Simulatore reti di petri gratuito - HPSim

- post<li> - Permalink

Le reti di Petri sono il classico esempio di un formalismo piuttosto semplice nelle specifiche ma molto potente che permette modellazioni di sistemi anche piuttosto complessi.

Nel corso di Sistemi Operativi ne facciamo largo uso perchè permettono di descrivere abbastanza fedelmente le interazioni tra processi e tra processi e risorse.

Pertanto segnalo qui il sito principale da cui scaricare un simulatore di reti di petri (p-net) gratuito.

A dire la verità i programmi sono due, io ho sempre usato HPSim, ma ora vedo che c'è anche WinPeSim.

Altri tool li trovate a questa pagina.

Voi avete mai utilizzato l'idea di Carl Adam Petri?

Byez

Nessun commento:

Articoli correlati divisi per etichetta



Widget by Hoctro