@inproceedings{oai:niigata-u.repo.nii.ac.jp:00031747, author = {田村, 裕 and 斎藤, 聡 and 三神, 潔 and 仙石, 正和 and 山口, 芳雄 and 篠田, 庄司 and 阿部, 武雄}, book = {電子情報通信学会総合大会講演論文集.基礎・境界, 電子情報通信学会総合大会講演論文集.基礎・境界}, month = {Mar}, note = {ペトリネットの重要なサブクラスであるマークグラフにおいて,マークグラフ上に同期距離として実現可能であるための必要十分条件を与え,これを用いて,距離公理は満足してもマークグラフ上に実現できない場合があることを示す.}, pages = {407--408}, publisher = {電子情報通信学会}, title = {同期距離のマークグラフ上への実現について}, volume = {1995}, year = {1995} }