発行年
2010 - 2014
キーワード
timed Petri net
部局
大学院理工学研究科（工学）
発行年
2010 - 2014
1
キーワード
behavioral inheritnce
1
timed Petri net
1
timed branching bisimulation
1
種類
学術雑誌論文
1
部局
大学院理工学研究科（工学）
1
検索結果 1 件
登録番号 (降順)
表示順
なし
登録番号(昇順)
登録番号(降順)
更新日 (昇順)
更新日 (降順)
公開日 (昇順)
公開日 (降順)
発行年月日 (昇順)
発行年月日 (降順)
山口大学学術機関リポジトリYUNOCA
Reduction operators based on behavioral inheritance for timed Petri nets
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E97-A 巻 2 号
作成者
: Toyoshima Ichiro | Nakano Shota | 山口 真悟
出版者
: 電子情報通信学会
発行日
: 2014
関連作成者
山口 真悟
1
