Summary
International Technical Conference on Circuits/Systems, Computers and Communications
2016
Session Number:M2-1
Session:
Number:M2-1-1
Enumerating Minimal Siphons of Petri Net using SAT Solver
Tan Lam Pham, Atsushi Ohta, Kohkichi Tsuji ,
pp.117-120
Publication Date:2016/7/10
Online ISSN:2188-5079
DOI:10.34385/proc.61.M2-1-1
PDF download (874KB)
Summary:
In this paper, we study a method to enumerate all minimal siphons of Petri net. Conventional algorithm is based on Fourier-Motzkin method and if it fails because of memory shortage, no siphon is obtained. We suggest a successive enumeration algorithm using SAT solver. The solver can yield one solution to the logic equation for siphon. Then it is augmented clauses that exclude siphons that have been obtained. Computer experiment is done to show effectiveness of our method.