Efficiently Computing Minimal-Support Nonnegative Integer Invariants of Petri Nets

Toshimasa Watanabe, Satoshi Taoka. Efficiently Computing Minimal-Support Nonnegative Integer Invariants of Petri Nets. IEICE Transactions, 92-A(11):2707-2716, 2009. [doi]

Abstract

Abstract is missing.