スポンサーリンク

The authors are with the Faculty of Engineering, Fukui University | 論文

• Reachability Criterion for Petri Nets with Known Firing Count Vectors(Special Section on Concurrent Systems Technology)

スポンサーリンク