Two efficient methods for computing Petri net invariants.

Katsishi Takano, Satoshi Taoka, Masahiro Yamauchi, Toshimasa Watanabe

Browse the full SMC paper archive.