剰余群を表現するペトリネットの可達性について
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,状態の有限集合上の変換関係を表す変換ネットと呼ぶペトリネットにおけるマーキング間の可達性についていくつかの結果を示す。ペトリネットの可達性問題は決定可能であることがすでに知られている。そこで,我々はマーキングの組が与えられたとき,一方のマーキングから他方ヘ可達であるかどうかという問題を効率よく解くことを試みる。これまでに,我々は変換ネットの構造に関するいくつかの性質について明らかにしてきた。今回は,変換ネットにおける可達性問題を議論する手がかりとして,剰余群上の演算関係を表す変換ネットにおいて,特定のマーキングおよび剰余群のもとでは,可達であるための必要十分条件を得ることができた。
- 社団法人電子情報通信学会の論文
- 1995-12-15
著者
関連論文
- 非接触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. ソフトウェアサイエンス,一般セッション)
- コードパターンの検出に適したC言語前処理系解析器の開発
- 環境の差異を考慮したセンサデータ処理手法の一検討
- 環境の差異を考慮したセンサデータ処理手法の一検討
- 環境の差異を考慮したセンサデータ処理手法の一検討
- コードパターンの検出に適したC言語前処理系解析器の開発
- $CPN$ Languages and Codes (Algebraic Semigroups, Formal Languages and Computation)
- 線形論理を用いたペトリネットの解析と設計に関する考察
- NeO に基づく並行システム解析・設計のための支援システムの開発
- グラフ構造に基づく計算モデル構築システムの開発 : モデル変換系の自動生成
- 並行システムモデルNeOとその解析
- 離散事象系モデリングの一手法について
- 2ZA-1 制動力保持機構を持つブレーキ制御システムにおける可視光通信を用いた保持制御(ITS応用,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- プログラミング学習のためのロボット制御システムの開発
- WWW 環境を用いたプログラミング教育に関する考察
- 記号処理教育用言語 Scheme の開発と弓削丸への応用
- 3ZA-2 利用者の操作負荷を軽減した駐車場における車両探索システム(ナビゲーションシステム,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 1ZB-2 ネットワーク負荷を考慮したセンサデータ処理の一手法(ユビキタスデータ管理,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 変換ネットの自己同型群
- 変換ネットについてのいくつかの性質(半群・形式言語および語の組合せ論)
- 変換ネットの自己同型群
- 剰余群を表現するペトリネットの可達性について
- FPGAによる並列リダクションの実現方式に関する研究
- データフローマシン・アーキテクチャに基づいた32ビットRISCプロセッサの設計と試作
- 高階関数を対象としたlazyな関数型言語についての並列リダクション
- 動作推定のための個人適応性を考慮したセンサデータ処理手法の一検討
- モデルベース開発におけるモデリングと解析に関する考察 (システム数理と応用)
- 動作の類似性を利用した動作推定基準構築手法の一検討
- A-9-1 パターン照合を用いた対話型静的検査ツールの開発(A-9.信頼性,一般セッション)
- コードレピュー支援システムのための関数・変数関係の可視化実現法
- プログラムの関数・変数関係の一表現法
- C-024 組込みソフトウェア向けコーディング規約チェッカのためのカスタマイズの一方式(組込みシステム,C分野:ハードウェア・アーキテクチャ)
- モデルベース開発におけるモデリングと解析に関する考察(グラフ、ペトリネット、ニューラルネット及び一般)
- モデルベース開発におけるモデリングと解析に関する考察(グラフ、ペトリネット、ニューラルネット及び一般)