文献
J-GLOBAL ID:201802269080332372
整理番号:18A0343052
高レベルPetriネットに基づく複合ビジネスプロセスの形式的検証【Powered by NICT】
Formal verification of complex business processes based on high-level Petri nets
著者 (3件):
Kheldoun Ahmed
(MOVEP, Computer Science Department, USTHB, Algiers, Algeria)
,
Barkaoui Kamel
(CEDRIC-CNAM, 292 Rue Saint-Martin 75141, Cedex 03 Paris, France)
,
Ioualalen Malika
(MOVEP, Computer Science Department, USTHB, Algiers, Algeria)
資料名:
Information Sciences
(Information Sciences)
巻:
385-386
ページ:
39-54
発行年:
2017年
JST資料番号:
D0636A
ISSN:
0020-0255
CODEN:
ISIJBC
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)