An algorithm GMST for extracting minimal siphon-traps and its application to efficient computation of Petri net invariants.

Akihiro Taguchi, Satoshi Taoka, Toshimasa Watanabe

Browse the full ISCAS paper archive.