キーワード : ペトリネット


非同期ビットシリアル回路シミュレータQROQSの開発
坂本 博和 永本 太一 柴田 裕一郎 小栗 清 
誌名:   電子情報通信学会論文誌 D
発行日: 2005/02/01
Vol. J88-D1  No. 2 ; pp. 155-162
論文種別:  特集論文 (システム開発論文特集)
専門分野: VLSI設計支援システム
キーワード: 
PCA非同期回路ビットシリアル処理ペトリネット
 あらまし | 本文:PDF(309KB)

線形論理によるペトリネット設計の一手法とその実装
猪股 俊光 高屋敷 光一 
誌名:   電子情報通信学会論文誌 A
発行日: 2004/12/01
Vol. J87-A  No. 12 ; pp. 1528-1541
論文種別:  論文
専門分野: システムと制御
キーワード: 
線形論理ペトリネット仕様記述設計
 あらまし | 本文:PDF(567.7KB)

非有界なネットのアンフォールディングと被覆性判定
宮本 俊幸 笹川 竜太郎 熊谷 貞俊 
誌名:   電子情報通信学会論文誌 A
発行日: 2002/01/01
Vol. J85-A  No. 1 ; pp. 57-65
論文種別:  論文
専門分野: システムと制御
キーワード: 
ペトリネットアンフォールディング非有界可達性被覆性
 あらまし | 本文:PDF(463.9KB)

利益予測に基づくソフトウェアプロセス改善の試み
坂本 啓司 田中 敏文 楠本 真二 松本 健一 菊野 亨 
誌名:   電子情報通信学会論文誌 D
発行日: 2000/07/25
Vol. J83-D1  No. 7 ; pp. 740-748
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
ソフトウェアプロセス改善プロジェクト管理メトリクスペトリネット
 あらまし | 本文:PDF(486.8KB)

分散システムの障害回復動作に対する確率的挙動解析 ― 一般化確率ペトリネットによるモデル化 ―
野村 康治 土肥 正 尾崎 俊治 
誌名:   電子情報通信学会論文誌 A
発行日: 1999/08/25
Vol. J82-A  No. 8 ; pp. 1371-1382
論文種別:  論文
専門分野: 信頼性,保全性
キーワード: 
分散システムデータ保全技術チェックポイントペトリネットシミュレーション評価
 あらまし | 本文:PDF(1.3MB)

対称性及び抽象化を利用した検証方式の効率化
戸島 弘詩 米田 友洋 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/07/25
Vol. J82-D1  No. 7 ; pp. 799-811
論文種別:  特集論文 (テストと設計検証論文特集)
専門分野: 設計検証
キーワード: 
形式的検証対称性抽象化ペトリネットスケーラビリティ
 あらまし | 本文:PDF(520KB)

ZBDDに基づく非同期式回路の検証方式
増倉 孝一 富坂 稔 米田 友洋 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/06/25
Vol. J82-D1  No. 6 ; pp. 760-771
論文種別:  論文
専門分野: フォールトトレランス
キーワード: 
非同期式回路形式的検証トレース理論ペトリネットZBDD
 あらまし | 本文:PDF(535KB)

複数ペトリネットコントローラによるシーケンス制御システムに関する研究
土肥 康孝 高野 渉 堀口 剛 武田 有志 村越 英樹 舟久保 登 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/05/25
Vol. J82-D1  No. 5 ; pp. 655-658
論文種別:  レター
専門分野: 
キーワード: 
ペトリネットネット分割シーケンス制御並列処理
 あらまし | 本文:PDF(334.4KB)

カラーペトリネットによるオブジェクト指向ソフトウェアのテストと解析方法
渡辺 晴美 徳岡 宏樹 Wu Wenxin 佐伯 元司 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/03/25
Vol. J82-D1  No. 3 ; pp. 478-495
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
カラーペトリネットペトリネットオブジェクト指向ソフトウェアテストソフトウェアテスト
 あらまし | 本文:PDF(1.1MB)

離散事象システムに対するω詳細化故障診断器
大西 功 潮 俊光 奥田 浩二 
誌名:   電子情報通信学会論文誌 A
発行日: 1997/11/25
Vol. J80-A  No. 11 ; pp. 2041-2044
論文種別:  レター
専門分野: 
キーワード: 
故障診断離散事象システムペトリネット
 あらまし | 本文:PDF(174.3KB)

ペトリネットによるコンカレントシステムの効率的解析について
平石 邦彦 
誌名:   電子情報通信学会論文誌 A
発行日: 1997/07/25
Vol. J80-A  No. 7 ; pp. 1048-1055
論文種別:  招待論文 (コンカレント・コラボレーション技術論文小特集)
専門分野: 
キーワード: 
ペトリネットコンカレントシステムシステム検証状態空間爆発
 あらまし | 本文:PDF(496.2KB)

拡張マークグラフの構造的性質と状態方程式の解について
辻 孝吉 
誌名:   電子情報通信学会論文誌 A
発行日: 1997/07/25
Vol. J80-A  No. 7 ; pp. 1056-1063
論文種別:  招待論文 (コンカレント・コラボレーション技術論文小特集)
専門分野: 
キーワード: 
コンカレントシステムペトリネット拡張マークグラフ状態方程式構造的性質
 あらまし | 本文:PDF(512.9KB)

レジスタ付きペトリネットを用いた全体動作仕様から分散動作仕様の自動合成とその応用
山口 弘純 岡野 浩三 東野 輝夫 谷口 健一 
誌名:   電子情報通信学会論文誌 A
発行日: 1997/07/25
Vol. J80-A  No. 7 ; pp. 1064-1072
論文種別:  特集論文 (コンカレント・コラボレーション技術論文小特集)
専門分野: 
キーワード: 
分散協調システムペトリネットプロトコル合成協調活動支援システム
 あらまし | 本文:PDF(674.7KB)

カラーペトリネットを用いた仕様記述からのテストケース生成方法
渡辺 晴美 工藤 知宏 
誌名:   電子情報通信学会論文誌 A
発行日: 1997/07/25
Vol. J80-A  No. 7 ; pp. 1073-1086
論文種別:  特集論文 (コンカレント・コラボレーション技術論文小特集)
専門分野: 
キーワード: 
テストテストケース生成法ペトリネットカラーペトリネット並行システム
 あらまし | 本文:PDF(915KB)

通信ソフトウェアのテストにおけるMSCで記述された要求仕様のペトリネットを利用した意味検証と充足検証の方法
加藤 尚玄 繁田 好章 田中 亘 長谷川 晴朗 
誌名:   電子情報通信学会論文誌 A
発行日: 1997/07/25
Vol. J80-A  No. 7 ; pp. 1087-1103
論文種別:  特集論文 (コンカレント・コラボレーション技術論文小特集)
専門分野: 
キーワード: 
MSCペトリネットテスト通信ソフトウェア仕様検証
 あらまし | 本文:PDF(1.2MB)

ペトリネットを用いた離散事象システムの故障診断
大西 功 潮 俊光 奥田 浩二 
誌名:   電子情報通信学会論文誌 A
発行日: 1997/07/25
Vol. J80-A  No. 7 ; pp. 1122-1129
論文種別:  論文
専門分野: システムと制御
キーワード: 
故障診断離散事象システムペトリネット
 あらまし | 本文:PDF(451.5KB)

フォールト検出難易度に基づく残存フォールト推定モデルの適用法
中川 豊 竹中 市郎 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/03/25
Vol. J80-D1  No. 3 ; pp. 282-290
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
ソフトウェア信頼性フォールト分類残存フォールト数推定信頼性評価モデルペトリネット
 あらまし | 本文:PDF(592.9KB)

ペトリネットを用いた自律分散システムの協調規約の一考察
福本 浩一 李 東翊 熊谷 貞俊 児玉 慎三 
誌名:   電子情報通信学会論文誌 A
発行日: 1996/03/25
Vol. J79-A  No. 3 ; pp. 632-638
論文種別:  論文
専門分野: システムと制御
キーワード: 
自律分散システム協調規約エージェントペトリネット
 あらまし | 本文:PDF(471.9KB)

マークグラフにおける同期距離に関する性質について
田村 裕 斎藤 聡 三神 潔 仙石 正和 山口 芳雄 篠田 庄司 阿部 武雄 
誌名:   電子情報通信学会論文誌 A
発行日: 1995/08/25
Vol. J78-A  No. 8 ; pp. 929-937
論文種別:  特集論文 (モデリングとシミュレーション論文小特集)
専門分野: 
キーワード: 
ペトリネットマークグラフ同期距離実現問題距離公理
 あらまし | 本文:PDF(548.4KB)

FAシステム用ペトリネットシミュレータの開発
長尾 陽一 中野 信一 日隈 克敏 熊谷 貞俊 
誌名:   電子情報通信学会論文誌 A
発行日: 1995/08/25
Vol. J78-A  No. 8 ; pp. 901-909
論文種別:  特集論文 (モデリングとシミュレーション論文小特集)
専門分野: 
キーワード: 
ペトリネットシミュレーションアニメーションFAシステム性能評価
 あらまし | 本文:PDF(755.6KB)

マークグラフにおけるトランジションの潜在的同時発火可能性判定アルゴリズム
高橋 正毅 荒木 俊郎 柏原 敏伸 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/10/25
Vol. J77-D1  No. 10 ; pp. 674-682
論文種別:  論文
専門分野: オートマン,言語理論,計算論
キーワード: 
ペトリネット潜在的同時発火可能マークグラフ
 あらまし | 本文:PDF(561KB)

ペトリネットの部分クラスにおける同時発火可能性
高橋 正毅 荒木 俊郎 柏原 敏伸 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/01/25
Vol. J77-D1  No. 1 ; pp. 1-11
論文種別:  論文
専門分野: オートマン,言語理論,計算論
キーワード: 
ペトリネット潜在的同時発火状態機械マークグラフ1-有界自由選択ペトリネット
 あらまし | 本文:PDF(723.1KB)

ペトリネットの活性が即時発火規則のもとで保存されるサブクラスについて
太田 淳 久村 富持 
誌名:   電子情報通信学会論文誌 A
発行日: 1993/12/25
Vol. J76-A  No. 12 ; pp. 1744-1752
論文種別:  論文
専門分野: システムと制御
キーワード: 
ペトリネット活性即時発火規則
 あらまし | 本文:PDF(546.1KB)

ライブかつセーフな自由選択ネットの分割アルゴリズム
西村 忠昭 李 東翊 熊谷 貞俊 児玉 慎三 
誌名:   電子情報通信学会論文誌 A
発行日: 1993/11/25
Vol. J76-A  No. 11 ; pp. 1547-1556
論文種別:  論文
専門分野: システムと制御
キーワード: 
並行システムペトリネット自由選択ネットS分割集合SM分割集合P閉部分ネットT分割集合
 あらまし | 本文:PDF(675.6KB)

外部入力プレース付きペトリネットにおける許容フィードバックの性質
高井 重昌 潮 俊光 児玉 慎三 
誌名:   電子情報通信学会論文誌 A
発行日: 1992/08/25
Vol. J75-A  No. 8 ; pp. 1405-1411
論文種別:  論文
専門分野: グラフとネットワーク
キーワード: 
離散事象システムペトリネット述語状態フィードバック最大許容フィードバック
 あらまし | 本文:PDF(436.5KB)

ペトリネット制御用機能メモリの削減について
村越 英樹 土肥 康孝 
誌名:   電子情報通信学会論文誌 D
発行日: 1992/08/25
Vol. J75-D1  No. 8 ; pp. 646-653
論文種別:  特集論文 (並列/分散処理論文特集)
専門分野: アーキテクチャ
キーワード: 
並列処理並列計算機ペトリネット機能メモリ
 あらまし | 本文:PDF(436.8KB)