An algorithm for the general Petri net reach-ability problem

• MAYR E. W.

収録刊行物

• SIAM J. Comput.

  SIAM J. Comput. 13 441-460, 1984

詳細情報

• CRID: 1572543026537150208
• NII論文ID: 80002171658
• データソース種別:
  • CiNii Articles