Siphon-Trap-Based Algorithms for Efficiently Computing Petri Net Invariants

Akihiro Taguchi, Atsushi Iriboshi, Satoshi Taoka, Toshimasa Watanabe. Siphon-Trap-Based Algorithms for Efficiently Computing Petri Net Invariants. IEICE Transactions, 88-A(4):964-971, 2005. [doi]

Abstract

Abstract is missing.