The paper addresses the problem of computing siphons and traps in a standard Petri net. In particular, starting from a clear formulation in terms of predicate logic, it is shown how binary programming techniques can be adopted to formulate and solve the problem of finding minimal and basis siphons. An experimental campaign on a large set of random test instances proves the effectiveness of the method when compared to a constructive one.
Characterization of minimal and basis siphons with predicate logic and binary programming / R. Cordone, L. Ferrarini, L. Piroddi - In: Computer Aided Control System Design, 2002. Proceedings. 2002 IEEE International Symposium on[s.l] : IEEE, 2002. - ISBN 078037388X. - pp. 193-198 (( convegno Computer Aided Control System Design tenutosi a Glasgow nel 2002.
Characterization of minimal and basis siphons with predicate logic and binary programming
R. CordonePrimo
;
2002
Abstract
The paper addresses the problem of computing siphons and traps in a standard Petri net. In particular, starting from a clear formulation in terms of predicate logic, it is shown how binary programming techniques can be adopted to formulate and solve the problem of finding minimal and basis siphons. An experimental campaign on a large set of random test instances proves the effectiveness of the method when compared to a constructive one.
| File | Dimensione | Formato | |
|---|---|---|---|
|
CACSDREG1029.pdf
accesso riservato
Descrizione: Conferenza
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
40.77 kB
Formato
Adobe PDF
|
40.77 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
01036952.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
341.37 kB
Formato
Adobe PDF
|
341.37 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
