文献

J-GLOBAL ID：201602290480245215   整理番号：16A0861686

PETRIネットのデッドロック検出における標識としての判定方法の研究とその応用を達成ことはない【JST・京大機械翻訳】

Decidability method of Petri net non-reachability marks and its application in deadlock detection

著者 (5件)： Lu Faming (College of Information Science and Engineering, Shandong University of Science and Technology, Key Laboratory of Embedded System and Service Computing, Ministry of Education) ,  Zeng Qingtian (College of Electronic, Communication and Physics, Shandong University of Science and Technology) ,  Duan Hua (College of Mathematics and System Science, Shandong University of Science and Technology) ,  Peng Yanjun (College of Information Science and Engineering, Shandong University of Science and Technology) ,  Bao Yunxia (College of Mathematics and System Science, Shandong University of Science and Technology)
資料名： Jisuanji Jicheng Zhizao Xitong  (Jisuanji Jicheng Zhizao Xitong)
巻： 22  号： 2  ページ： 465-475  発行年： 2016年 
JST資料番号： C2700A  ISSN： 1006-5911  CODEN： JJZXFN  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： システムのデッドロックの検出を行うために,PETRIネットの特定の標識の不可達性判定方法に対して研究を行った。状態方程式の解に基づく、トラップのS-不変量、加模Sサイフォン管不変量などの構造特性および標識,標識判定方法に達した。ない分析を行った,上記の方法を研究し判定することができるのに達することがないことに基づく間の相互関係に対して,PETRIネットを確立した,非標識の分類体系に達した。標識のない可達性判定をより良く行うために理論的根拠を提供する。標識を,それぞれ結合している哲学者食事問題と1つのインター協同ビジネスプロセスのPETRIネットモデルのデッドロック状態を検出して,判定方法の応用に達した。ない。説明するData from the ScienceChina, LCAS.【JST・京大機械翻訳】

シソーラス用語： 構造特性 ,  状態方程式 ,  不変量 ,  *デッドロック

著者キーワード (4件)： Petri nets ,  reachability analysis ,  non-reachable marks classification ,  deadlock detection

分類 (4件)： 生産形態  (KB03020E) ,  工程管理  (KB03030P) ,  システム工学一般  (IB01000S) ,  グラフ理論基礎  (IA02020S)

タイトルに関連する用語 (5件)： Petriネット ,  デッドロック検出 ,  標識 ,  研究 ,  応用