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

Ahmed Kheldoun; Kamel Barkaoui; Malika Ioualalen

doi:10.1016/j.ins.2016.12.044

Journal articles

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

Ahmed Kheldoun ¹ Kamel Barkaoui ² Malika Ioualalen ^{3, 1}

1 USTHB - Université des Sciences et de la Technologie Houari Boumediene [Alger]

2 CEDRIC - SYS - CEDRIC. Systèmes sûrs

CEDRIC - Centre d'études et de recherche en informatique et communications

3 LSI - Laboratoire des Systèmes Informatiques

Document type :

Journal articles

Domain :

Computer Science [cs]

Computer Science [cs] / Modeling and Simulation

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02476533
Contributor : Kamel Barkaoui Connect in order to contact the contributor
Submitted on : Wednesday, February 12, 2020 - 5:17:15 PM
Last modification on : Monday, February 21, 2022 - 3:38:20 PM

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

Identifiers

Collections

Citation

Export

Metrics

22

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

Identifiers

Collections

Citation

Export

Share

Metrics

22