Japanese | English

トップページへ戻る

作成者ヨミ 別一覧


Reduction operators based on behavioral inheritance for timed Petri nets
作成者 : Toyoshima, Ichiro / Nakano, Shota / Yamaguchi, Shingo 掲載誌名 : IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 巻 : E97-A 号 : 2 開始ページ : 484 終了ページ : 489 発行日 : 2014 リポジトリID : 2014010164
アクセス件数 : 367 件 ダウンロード件数 : 0 件
An efficient translation method from timed petri nets to timed automata
作成者 : Nakano, Shota / Yamaguchi, Shingo 掲載誌名 : IEICE transactions on fundamentals of electronics, communications and computer sciences 巻 : E95-A 号 : 8 開始ページ : 1402 終了ページ : 1411 発行日 : 2012-08 リポジトリID : 2012010595
アクセス件数 : 527 件 ダウンロード件数 : 0 件
時間ペトリネットから時間オートマトンへのコンパクトな変換について
作成者 : 山口, 真悟 / 中野, 翔太 掲載誌名 : 電子情報通信学会総合大会講演論文集 巻 : 2012 号 : 開始ページ : 206 終了ページ : 206 発行日 : 2012-03-06 リポジトリID : 2012010825
アクセス件数 : 636 件 ダウンロード件数 : 0 件

[1]