A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets

Mon, Oct 1, 2012·
Faten Nabli
,
Francois Fages
,
Thierry Martinez
,
Sylvain Soliman
· 0 min read
Type
Publication
In CP 2012: Principles and Practice of Constraint Programming, pages 798-814