In questo lavoro viene proposto l'uso della programmazione logica per eseguire ed analizzare le reti di Petri. Vengono descritte una rappresentazione in Prolog delle reti, una procedura per la loro esecuzione, e delle procedure di classificazione.
Strumenti per lo studio di reti di Petri basati sulla programmazione logica
DOMENICI, ANDREA
1990-01-01
Abstract
In questo lavoro viene proposto l'uso della programmazione logica per eseguire ed analizzare le reti di Petri. Vengono descritte una rappresentazione in Prolog delle reti, una procedura per la loro esecuzione, e delle procedure di classificazione.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
