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]

Authors

Akihiro Taguchi

This author has not been identified. Look up 'Akihiro Taguchi' in Google

Atsushi Iriboshi

This author has not been identified. Look up 'Atsushi Iriboshi' in Google

Satoshi Taoka

This author has not been identified. Look up 'Satoshi Taoka' in Google

Toshimasa Watanabe

This author has not been identified. Look up 'Toshimasa Watanabe' in Google