This paper discusses logic programming techniques applied to Petri nets. A Prolog representation of Petri nets is introduced, which is used to execute and analyse the nets.
Petri nets in logic
DOMENICI, ANDREA
1990-01-01
Abstract
This paper discusses logic programming techniques applied to Petri nets. A Prolog representation of Petri nets is introduced, which is used to execute and analyse the nets.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.