文献

J-GLOBAL ID：202002238277209797   整理番号：20A1846870

ペトリネットに基づく解析編成の実現可能性【JST・京大機械翻訳】

Analyzing realizability of choreographies using Petri nets

著者 (6件)： Huang Bi (西南林業大学 大数据与智能工程学院,云南 昆明,650224) ,  Dai Fei (西南林業大学 大数据与智能工程学院,云南 昆明,650224) ,  Wang Yabo (云南大学 軟件学院,云南 昆明,650091) ,  Mo Qi (云南大学 軟件学院,云南 昆明,650091) ,  Cao Yong (西南林業大学 大数据与智能工程学院,云南 昆明,650224) ,  Wang Leiguang (西南林業大学 大数据与智能工程学院,云南 昆明,650224)
資料名： Jisuanji Jicheng Zhizao Xitong  (Jisuanji Jicheng Zhizao Xitong)
巻： 26  号： 6  ページ： 1548-1556  発行年： 2020年 
JST資料番号： C2700A  ISSN： 1006-5911  CODEN： JJZXFN  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 編成モデリングにおける実現可能な問題、即ち一つの編成を所与し、編成生成の参加者間のインタラクションと編集規約が完全にマッチするかどうかを検査するため、同期通信と非同期通信の2つの方面から、Petriネットを用いて編成の実行可能性を分析できる方法を提案した。まず、マッピングと簡約操作を用いて、編集から自動的に参加者を自動生成する。次に,強い相互シミュレーション関係を用いて,同期通信の実装可能性を解析した。最後に,弱い相互シミュレーション関係を用いて,有界非同期通信の実装可能性を解析した。実験結果は,提案した方法の有効性を示した。Data from Wanfang. Translated by JST.【JST・京大機械翻訳】

シソーラス用語： シミュレーション ,  相互作用 ,  通信 ,  *Petriネット ,  有効性 ,  簡約化
準シソーラス用語： 自動生成 ,  非同期通信 ,  有界 , 【Automatic Indexing@JST】

分類 (2件)： 計算機網  (JC03000K) ,  通信網  (ND07030A)

タイトルに関連する用語 (3件)： ペトリネット ,  解析 ,  実現可能性