文献

J-GLOBAL ID：201902224615175164   整理番号：19A1665363

優先度を持つDBネットから有色Petriネットへ【JST・京大機械翻訳】

From DB-nets to Coloured Petri Nets with Priorities

著者 (2件)： Montali Marco (Free University of Bozen-Bolzano, Bolzano, Italy) ,  Rivkin Andrey (Free University of Bozen-Bolzano, Bolzano, Italy)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11522  ページ： 449-469  発行年： 2019年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： DBネットの最近導入された定式化は,局所データおよび永続的なトランザクションデータを考慮して,プロセスおよびデータ次元を等しく説明する複雑な動的システムをモデル化する新しい概念的方法をもたらした。DBネットは,関連データベースを用いて,名前生成と管理([数式:原文を参照]-CPNと呼ぶ)を有するPetriネットのカラー変種を結合する。これらの2つの構成要素の統合は,データベースを質問し,データベースのコンテンツを更新することを可能にし,トランザクション失敗の場合に特別なアーク捕捉補償を行うことを可能にする,ネットに対して結果としての回答を露出させることにより実現した。本研究では,この洗練されたモデルが[数式:原文を参照]-CPNに符号化できるかどうかを研究した。特に,データベース質問が不等式による結合質問の非イオンを用いて表現されるDBネットの意味のあるフラグメントは,遷移優先度を有する[数式:原文を参照]-CPNに忠実に符号化できることを示した。これにより,この関連クラスのDBネットをシミュレーションし,解析するために,CPNツールのような最先端技術を直接利用することができる。Copyright 2019 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： コンテンツ ,  *Petriネット ,  捕獲 ,  モデリング ,  不等式 ,  *優先度 ,  定式化 ,  アーク放電 ,  データベース ,  動的系
準シソーラス用語： 最先端技術 , 【Automatic Indexing@JST】

分類 (3件)： システムモデル  (IB02000Z) ,  その他の情報処理  (JE15050M) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (5件)： 優先度 ,  Db ,  ネット ,  有色 ,  Petriネット