線形論理によるペトリネット設計の一手法とその実装(システムと制御)
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,対象システムの仕様を満足するペトリネットを機械的に構成するための設計法の確立を目指し,ペトリネットの仕様記述形式としてのPNLL(線形論理の部分体系)を導入し,PN_<LL>で記述された仕様を満たすペトリネットを機械的に構成するためのアルゴリズムを考案した.そして,そのアルゴリズムに基づいた設計支援ツールを実装することにより,PN_<LL>で記述された仕様を入力することで,その仕様を満たすペトリネットを自動的に構成することが可能となった.
- 2004-12-01
著者
関連論文
- 非接触ICカード用セキュアプロセッサSEP-6の開発(デザインガアイ2006-VLSI設計の新しい大地を考える研究会)
- 非接触ICカード用セキュアプロセッサSEP-6の開発(システム設計・開発,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 1N-3 接触型ICカード用セキュアプロセッサSEP-7の開発(組込みとセキュリティ,学生セッション,アーキテクチャ)
- 3ZD-9 制動力保持機構を持つブレーキシステムにおける学習手法を用いた保持制御(センシング・複雑系・その他,学生セッション,人工知能と認知科学)
- 2ZH-7 アーキテクチャ学習のためのCPUシミュレータの設計と評価(プログラム教育,学生セッション,コンピュータと人間社会)
- 5ZB-2 サイドチャネル攻撃に対するセキュアプロセッサSEP-6の耐タンパ性の評価(セキュリティ(5),学生セッション,セキュリティ)
- 1ZB-8 ホームページ改ざん検知システムにおけるコンテンツ更新状況に基づく更新作業効率化(セキュリティ(1),学生セッション,セキュリティ)
- 4ZA-3 制動力保持機構を持つブレーキ制御システムのための自動起動手法の実車試験による評価(ITS運転支援・画像処理,学生セッション,ネットワーク)
- 2Q-6 ソフトウェアの不具合箇所のパターン群を用いた検出法(検査,検証,解析,学生セッション,ソフトウェア科学・工学)
- 6P-5 予防接種支援システムにおける接種計画作成法に関する研究(数理モデルの応用,学生セッション,ソフトウェア科学・工学)
- D-3-8 ソフトウェア製品の不具合原因コードパターン検出のための静的解析法(D-3. ソフトウェアサイエンス,一般セッション)
- 非接触ICカード用セキュアプロセッサSEP-6の開発(システム設計・開発,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 再利用可能なコード設計によるクロックレベルシミュレータの開発
- 携帯電話を用いた予防接種支援システムの開発
- D-6-6 セキュアプロセッサSEP-5用シミュレータの開発(D-6. コンピュータシステム, 情報・システム1)
- A-9-2 相互監視による障害検知システムにおけるハートビート自動挿入(A-9. 信頼性, 基礎・境界)
- 分散システムにおける障害検知方式(安全性,信頼性国際規格,保全性,信頼性一般)
- ユーザ生成情報を利用したホームページ改竄検知システム
- インターネットにおける動的データ改竄検知方式
- 分散システムにおける障害検知方式(安全性,信頼性国際規格,保全性,信頼性一般)
- セキュアプロセッサの開発(アーキテクチャ全般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- RSA暗号の秘密鍵保護機能と暗号計算機能をもつICカード用汎用プロセッサの設計
- A-9-1 相互監視による高信頼度分散システム(ハートビート発生方式)
- ディジタル署名とパトロールを用いた電子情報改ざん検知方式とWWWへの応用(ネットワークセキュリティ)(新たな脅威に立ち向かうコンピュータセキュリティ技術)
- コードパターンの検出に適したC言語前処理系解析器の開発
- 環境の差異を考慮したセンサデータ処理手法の一検討
- 環境の差異を考慮したセンサデータ処理手法の一検討
- 環境の差異を考慮したセンサデータ処理手法の一検討
- コードパターンの検出に適したC言語前処理系解析器の開発
- コードパターンの検出に適したC言語前処理系解析器の開発
- 線形論理によるペトリネット設計の一手法とその実装(システムと制御)
- 2ZA-1 制動力保持機構を持つブレーキ制御システムにおける可視光通信を用いた保持制御(ITS応用,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- プログラミング学習のためのロボット制御システムの開発
- WWW 環境を用いたプログラミング教育に関する考察
- 3ZA-2 利用者の操作負荷を軽減した駐車場における車両探索システム(ナビゲーションシステム,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 1ZB-2 ネットワーク負荷を考慮したセンサデータ処理の一手法(ユビキタスデータ管理,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- A-12-3 線形論理により構成されるペトリネットを用いた仕様検証の一手法
- 動作推定のための個人適応性を考慮したセンサデータ処理手法の一検討
- モデルベース開発におけるモデリングと解析に関する考察 (システム数理と応用)
- 動作の類似性を利用した動作推定基準構築手法の一検討
- A-9-1 パターン照合を用いた対話型静的検査ツールの開発(A-9.信頼性,一般セッション)
- コードレピュー支援システムのための関数・変数関係の可視化実現法
- プログラムの関数・変数関係の一表現法
- C-024 組込みソフトウェア向けコーディング規約チェッカのためのカスタマイズの一方式(組込みシステム,C分野:ハードウェア・アーキテクチャ)
- モデルベース開発におけるモデリングと解析に関する考察(グラフ、ペトリネット、ニューラルネット及び一般)
- モデルベース開発におけるモデリングと解析に関する考察(グラフ、ペトリネット、ニューラルネット及び一般)
- コードレビュー支援システムのための関数・変数関係の可視化実現法
- プログラムの関数・変数関係の表現法