Extracting siphons containing a specified set of places in a Petri net.

Masahiro Yamauchi, Shinji Tanimoto, Toshimasa Watanabe

Browse the full SMC paper archive.