Extracting Minimal Siphon-Traps of Petri Nets and Its Application to Computing Nonnegative Integer-Invariants

Satoshi Taoka, Katsushi Takano, Toshimasa Watanabe. Extracting Minimal Siphon-Traps of Petri Nets and Its Application to Computing Nonnegative Integer-Invariants. IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 85-A(11):2436-2446, 2002. [doi]

Abstract

Abstract is missing.