複数種類ネットワーク資源の自律分散相互排除プロトコルとそのマークグラフ解析

DOI Web Site Web Site

書誌事項

タイトル別名
  • An Autonomous Distributed Mutual Exclusion Protocol for Multiple Network Resources adn It's Marked Graph Analysis
  • フクスウシュルイ ネットワーク シゲン ノ ジリツ ブンサン ソウゴ ハイジョ

この論文をさがす

抄録

An autonomous distributed mutual exclusion protocol for multiple network resources is disscussed. This protocol is based on acyclic graph evolution model. This paper analyzes firing concurrency of acyclic graph evolution by graph theoretical terms. We show the network topology conditions and the scheme to control the concurrency for the mutual exclution of multiple network resources. A marked graph, a subclass of Petrinets, is often utilized as a proof tool in analysis.

収録刊行物

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ