Skip to Main content Skip to Navigation
Journal articles

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

Ahmed Kheldoun 1 Kamel Barkaoui 2 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
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 : Wednesday, April 8, 2020 - 6:25:02 PM

Identifiers

Collections

TDS-MACS | CEDRIC-CNAM | CNAM | UNIV-HESAM

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

54