Solvability for The Maximum Legal Firing Sequence Problem of Inhibitor-Arc Petri nets : Unweighted/Weighted Conflict-Free Petri nets

書誌事項

タイトル別名
  • 禁止枝ペトリネットの最大発火系列問題に関する可解性 : 重みなし/あり無競合ペトリネット
  • キンシ シ ペトリネット ノ サイダイ ハッカ ケイレツ モンダイ ニ カンスル カカイセイ : オモミ ナシ/アリ ムキョウゴウ ペトリネット
  • ソフトウェアサイエンス
  • ソフトウェア サイエンス

この論文をさがす

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ