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

Bibliographic Information

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

Search this article

Journal

Details 詳細情報について

Report a problem

Back to top