文献

J-GLOBAL ID：201702240565261973   整理番号：17A0756169

データ操作を用いたPetriネットによる並行システムにおける矛盾したデータの検査【Powered by NICT】

Checking the Inconsistent Data in Concurrent Systems by Petri Nets with Data Operations

著者 (4件)： Xiang Dongming ,  Liu Guanjun ,  Yan Chungang ,  Jiang Changjun
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： ICPADS  ページ： 501-508  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 一般ペトリネットはコンカレント読み出しcoverable書込みのデータ操作をモデル化するためには適していない。データ操作(PN DO)Petriネットが定義され,それは書込みアークといくつかの他の成分と文脈ネットを拡張した。その実行意味論を定義し,newmethodは伝統的な可到達性グラフより小さいスケールであることをその到達可能性グラフを構築するために提案した。この種可到達性グラフに基づいて,ここでは矛盾したデータと欠落データの誤差をチェックする方法を提案した。一方,事例研究は,提案手法の有効性を明らかにした。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： アーク放電 ,  *Petriネット ,  意味論 ,  グラフ ,  モデリング ,  事例研究

分類 (4件)： 計算理論  (JB02000A) ,  工程管理  (KB03030P) ,  人工知能  (JE08000Z) ,  オペレーティングシステム  (JD03020J)

タイトルに関連する用語 (4件)： Petriネット ,  並行 ,  矛盾 ,  検査