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

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.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11568/13110
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact