キーワード
timed Petri nets
発行年
2010 - 2014
1
キーワード
model checking
1
signaling pathway
1
the amount of description
1
timed Petri nets
1
timed automata
1
種類
学術雑誌論文
1
部局
大学院理工学研究科（工学）
1
検索結果 1 件
登録番号 (降順)
表示順
なし
登録番号(昇順)
登録番号(降順)
更新日 (昇順)
更新日 (降順)
公開日 (昇順)
公開日 (降順)
発行年月日 (昇順)
発行年月日 (降順)
山口大学学術機関リポジトリYUNOCA
An efficient translation method from timed petri nets to timed automata
IEICE transactions on fundamentals of electronics, communications and computer sciences E95-A 巻 8 号
作成者
: Nakano Shota | 山口 真悟
出版者
: Institute of Electronics, Information and Communication Engineers
発行日
: 2012-08
関連作成者
山口 真悟
1
