変換ネットの自己同型群
スポンサーリンク
概要
- 論文の詳細を見る
ネットは,プレース集合P,トランジション集合T,アーク集合F,およびアークへの重み付け関数Wの4項組からなる.これに,マーキングを加えた5項組は,ペトリネットと呼ばれ,計算機による並行システムの動作解析のモデルとしてよく用いられる.ここでは,ネット間の同型写像を定義し,ネット上の自己同型群に関するいくつかの性質を明らかにする.まず,任意の有限群Gに対して,Gを表現するネットを,変換ネットと呼ばれるネットを用いて構成する.そして,特定の重み付け関数を採用したGを表現する変換ネットN_1,N_2であって,次を満たすものが存在することを示す.すなわち,N_1の自己同型群Aut(N_1)がGと同型となる.そして,N_2の自己同型群Aut(N_2)がGの自己同型群Aut(G)と同型となる.
- 社団法人電子情報通信学会の論文
- 1996-09-25
著者
関連論文
- On constructions of extractable codes (Algebras, Languages, Algorithms in Algebraic Systems and Computations)
- group code の一般化(代数、形式言語、計算システム理論とその応用)
- Remarks on extractable submonoids (代数系アルゴリズムと言語および計算理論--RIMS研究集会報告集)
- 有限なelementary codeに付随する置換群について-2-
- 有限なelementary codeに付随する置換群について-1-
- $CPN$ Languages and Codes (Algebraic Semigroups, Formal Languages and Computation)
- Initial Literal Shuffles(Algebraic Theory of Codes and Related Topics)
- オートマトンのクラスのデカルト合成 (数理情報科学の基礎理論と応用)
- 線形論理を用いたペトリネットの解析と設計に関する考察
- NeO に基づく並行システム解析・設計のための支援システムの開発
- グラフ構造に基づく計算モデル構築システムの開発 : モデル変換系の自動生成
- 並行システムモデルNeOとその解析
- 離散事象系モデリングの一手法について
- Limited codeとペトリネット
- 記号処理教育用言語 Scheme の開発と弓削丸への応用
- A remark on construction of circular codes (Algorithmic and Computational Theory in Algebra and Languages)
- 自由単位半群のbiunitary submonoidのsyntactic monoidについて(2)
- Circular Codes and Petri Nets(Algorithmic problems in algebra, languages and computation systems)
- 自由単位半群のbiunitary submonoidのsyntactic monoidについて(1)
- 変換ネットの自己同型群
- ペトリネット上で定義されるプレフィクスコード(半群・形式言語および語の組合せ論)
- 変換ネットについてのいくつかの性質(半群・形式言語および語の組合せ論)
- 変換ネットの自己同型群
- 因子分解可能なオ-トマトン
- プレフイクスコ-ドの構成について
- Finite Mealy-Automata Whose Characteristic Semigroups are Simple
- Centralizers of Finite Semicyclic Transformation Monoids
- On the Characteristic Semigroups of Finite QPM-automata
- 剰余群を表現するペトリネットの可達性について
- FPGAによる並列リダクションの実現方式に関する研究
- データフローマシン・アーキテクチャに基づいた32ビットRISCプロセッサの設計と試作
- 高階関数を対象としたlazyな関数型言語についての並列リダクション
- Conformal code について (代数と言語のアルゴリズムと計算理論)
- 強巡回オ-トマトンの自己同形群
- On the Group of Automorphisms of Cyclic Automata
- Note on projections in 2×2 matrix rings over finite fields
- Finite transformation semigroups and automata
- On automorphism groups of automata