文献

J-GLOBAL ID：201702271468695772   整理番号：17A1357529

決定論的交渉の静的解析【Powered by NICT】

Static analysis of deterministic negotiations

著者 (3件)： Esparza Javier (Technical University of Munich, Germany) ,  Muscholl Anca (University of Bordeaux, LaBRI, France) ,  Walukiewicz Igor (CNRS, LaBRI, University of Bordeaux, France)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： LICS  ページ： 1-12  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 交渉図をワークフローPetriネットに似た並行計算のモデルである。はるかに研究し,使用済み自由選択ワークフローPetriネットに相当する決定論的交渉図は驚くほど検証に従う。健全性(デッドロック自由に近い特性)はPTIMEで決定できる。さらに,計算要約または期待コストのような他の基本的な疑問も音決定論的交渉図のPTIMEで解くことができるが,それらは一般的な場合におけるPSPACE完全。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 健全性 ,  ワークフロー ,  デッドロック ,  *折衝 ,  Petriネット ,  音響 ,  並列演算
準シソーラス用語： *静的解析 ,  *決定論 , 【Automatic Indexing@JST】

分類 (5件)： 利益管理  (KA05030A) ,  CAD,CAM  (JE10000A) ,  セラミック・磁器の性質  (YC03030G) ,  研究開発  (SA01040R) ,  視覚  (EJ13020B)

タイトルに関連する用語 (2件)： 交渉 ,  静的解析