文献

J-GLOBAL ID：202202249667319192   整理番号：22A0735080

リセットPetriネットのためのPomsetバイシミュレーションとアンフォールディング【JST・京大機械翻訳】

Pomset bisimulation and unfolding for reset Petri nets

著者 (5件)： Chatain Thomas (ENS Cachan, LSV, France) ,  Comlan Maurice (Universite d’Abomey-Calavi, Benin) ,  Delfieu David (Universite de Nantes and Ecole Centrale de Nantes, LS2N UMR 6004, France) ,  Jezequel Loieg (Universite de Nantes and Ecole Centrale de Nantes, LS2N UMR 6004, France) ,  Roux Olivier-Henri (Universite de Nantes and Ecole Centrale de Nantes, LS2N UMR 6004, France)
資料名： Information and Computation  (Information and Computation)
巻： 283  ページ： Null  発行年： 2022年 
JST資料番号： D0449A  ISSN： 0890-5401  CODEN： INFCEC  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： リセットPetriネットは,この場所が実際にトークンに留まるか否かをチェックせずに,遷移発火がすべてのトークンを除去できる特定のクラスのPetriネットである。本論文では,リセットPetriネットの部分次数意味論を検討した。特に,著者らは,それらの同時挙動を比較するために,ポムセットバイシミュレーションを提案した。このポセットバイシミュレーションに基づいて,このクラスのPetriネットに対するアンフォールディングの標準有限完全プリフィックスの一般化を提案した。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 意味論 ,  デコンボリューション ,  発火【生理】 ,  *Petriネット ,  トークン

著者キーワード (3件)： リセットPetriネット ,  ポムセット挙動 ,  変性

分類 (1件)： グラフ理論基礎  (IA02020S)

タイトルに関連する用語 (4件)： リセット ,  Petriネット ,  バイシミュレーション ,  アンフォールディング