文献
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)