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

Article Dans Une Revue Information Sciences Année : 2017

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

(1) , (2) , (3, 1)

1
2
3

Ahmed Kheldoun

Fonction : Auteur
PersonId : 1031894

Université des Sciences et de la Technologie Houari Boumediene = University of Sciences and Technology Houari Boumediene [Alger]

Kamel Barkaoui

Fonction : Auteur
PersonId : 182238
IdHAL : kamel-barkaoui

CEDRIC. Systèmes sûrs

Malika Ioualalen

Fonction : Auteur

Laboratoire des Systèmes Informatiques

Université des Sciences et de la Technologie Houari Boumediene = University of Sciences and Technology Houari Boumediene [Alger]

Domaines

Informatique [cs] Modélisation et simulation

Kamel BARKAOUI : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02476533

Soumis le : mercredi 12 février 2020-17:17:15

Dernière modification le : vendredi 19 juillet 2024-11:38:05

Dates et versions

hal-02476533 , version 1 (12-02-2020)

Identifiants

HAL Id : hal-02476533 , version 1
DOI : 10.1016/j.ins.2016.12.044

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNAM TDS-MACS CEDRIC-CNAM HESAM

68 Consultations

0 Téléchargements

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

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager