フローネット変換を用いたペトリネットの構造的活性・有界性解析手法
書誌事項
- タイトル別名
-
- フローネット ヘンカン オ モチイタ ペトリネット ノ コウゾウテキ カッセイ ・ ユウカイセイ カイセキ シュホウ
- Determination of Structurally Liveness and Boundedness of Petri Nets Using Flow Net Transformation
この論文をさがす
収録刊行物
-
- 回路とシステムワークショップ論文集 Workshop on Circuits and Systems
-
回路とシステムワークショップ論文集 Workshop on Circuits and Systems 32 278-283, 2019-08
[東京] : [電子情報通信学会]