Formal verification of complex business processes based on high-level Petri nets

Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02476533
Contributor : Kamel Barkaoui <>
Submitted on : Wednesday, February 12, 2020 - 5:17:15 PM
Last modification on : Friday, February 14, 2020 - 1:27:52 AM

Identifiers

Collections

Citation

Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen. Formal verification of complex business processes based on high-level Petri nets. Information Sciences, Elsevier, 2017, 385-386, pp.39-54. ⟨10.1016/j.ins.2016.12.044⟩. ⟨hal-02476533⟩

Share

Metrics

Record views

7