フローネット変換を用いたペトリネットの構造的活性・有界性解析手法

書誌事項

タイトル別名
  • フローネット ヘンカン オ モチイタ ペトリネット ノ コウゾウテキ カッセイ ・ ユウカイセイ カイセキ シュホウ
  • Determination of Structurally Liveness and Boundedness of Petri Nets Using Flow Net Transformation

この論文をさがす

収録刊行物

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

問題の指摘

ページトップへ