2024-03-29T06:38:46Z
https://niigata-u.repo.nii.ac.jp/oai
oai:niigata-u.repo.nii.ac.jp:00003307
2022-12-15T04:09:16Z
423:424:425
453:454
マークグラフにおける同期距離に関する性質について
On Properties of the Synchronic Distance Matrix of a Marked Graph
田村, 裕
斎藤, 聡
三神, 潔
仙石, 正和
山口, 芳雄
篠田, 庄司
阿部, 武雄
copyright(C)1995 IEICE
ペトリネット
マークグラフ
同期距離
実現問題
距離公理
ペトリネットは,並列計算機等離散事象システムのモデル化の有力な手段として有名である.同期距離は,ペトリネットにおいて2点間上で定義され,事象間の相互独立性を表す尺度として知られている.本論文では,ペトリネットの重要なサブクラスであるマークグラフにおいて,同期距離のもつ性質について述べる.マークグラフにおける同期距離は,その名のとおり距離公理を満足する概念であることは知られているが,その逆,つまり距離公理を満足すれば,あるマークグラフ上に同期距離として実現できるかどうかは知られていなかった.本論文では,マークグラフ上に同期距離として実現可能であるための必要十分条件を与え,これを用いて,距離公理は満足してもマークグラフ上に実現できない場合があることを示す.このことにより,距離公理を満足するものは,マークグラフ上に実現できるクラスとできないクラスに分かれることになる.実現できるあるクラスは既に知られていたが,本論文では,これ以外に実現できるいくつかのクラスを与える.
電子情報通信学会
1995-08
jpn
journal article
http://hdl.handle.net/10191/22428
https://niigata-u.repo.nii.ac.jp/records/3307
http://www.ieice.org/jpn/trans_online/
AN10013345
09135707
電子情報通信学会論文誌. A, 基礎・境界
電子情報通信学会論文誌. A, 基礎・境界
J78-A
8
929
937
https://niigata-u.repo.nii.ac.jp/record/3307/files/110003312248.pdf
application/pdf
675.3 kB
2019-07-30