Journal Articles
Information Sciences
Year : 2017
Kamel BARKAOUI : Connect in order to contact the contributor
https://hal.science/hal-02476533
Submitted on : Wednesday, February 12, 2020-5:17:15 PM
Last modification on : Thursday, August 10, 2023-3:25:07 PM
Cite
Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen. Formal verification of complex business processes based on high-level Petri nets. Information Sciences, 2017, 385-386, pp.39-54. ⟨10.1016/j.ins.2016.12.044⟩. ⟨hal-02476533⟩
Collections
31
View
0
Download