DEv-PROMELA : An Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event System

Aznam Yacoub; Maamar El Amine Hamri; Claudia Frydman; Chungman Seo; Bernard Zeigler

doi:10.1504/IJSPM.2017.085564

Home
AMU research units collections
Submit
Browse
Search
Am I allowed
Collaborations
More about Open Access

Journal articles

DEv-PROMELA : An Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event System

Aznam Yacoub ^{1, 2} Maamar El Amine Hamri ^{1, 2} Claudia Frydman ^{1, 2} Chungman Seo ³ Bernard Zeigler ³

1 LSIS - Laboratoire des Sciences de l'Information et des Systèmes

2 MOFED - Modèles et Formalismes à Evénements Discrets

LIS - Laboratoire d'Informatique et Systèmes

3 ECE - Department of Electrical and Computer Engineering [Tucson]

Aznam Yacoub ^{1, 2} AuthorId : 1511647

Author IdHAL : aznam-yacoub ORCID : https://orcid.org/0000-0002-3898-9542

Maamar El Amine Hamri ^{1, 2} AuthorId : 11196366
Author

Claudia Frydman ^{1, 2} AuthorId : 210023
Author

Chungman Seo ³ AuthorId : 11196367
Author

Bernard P Zeigler ³ AuthorId : 1468681

Author

1 LSIS - Laboratoire des Sciences de l'Information et des Systèmes (Domaine Universitaire de Saint-Jérôme Batiment Polytech Avenue Escadrille Normandie-Niemen 13397 MARSEILLE CEDEX 20 - France) StructId : 199402

AMU - Aix Marseille Université : UMR7296 (Aix-Marseille Université Jardins du Pharo 58 Boulevard Charles Livon 13284 Marseille cedex 7 - France) StructId : 198056
UTLN - Université de Toulon : UMR7296 (Avenue de l'Université - BP 20132 - 83957 La Garde Cedex - France) StructId : 303091
Arts et Métiers Paristech ENSAM Aix-en-Provence : UMR7296 (France) StructId : 303092
CNRS - Centre National de la Recherche Scientifique : UMR7296 (France) StructId : 441569

2 MOFED - Modèles et Formalismes à Evénements Discrets (France) StructId : 530687

LIS - Laboratoire d'Informatique et Systèmes (Aix Marseille Université – Campus de Saint Jérôme – Bat. Polytech, 52 Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20 - France) StructId : 527033
- AMU - Aix Marseille Université : UMR7020 (Aix-Marseille Université Jardins du Pharo 58 Boulevard Charles Livon 13284 Marseille cedex 7 - France) StructId : 198056
- UTLN - Université de Toulon : UMR7020 (Avenue de l'Université - BP 20132 - 83957 La Garde Cedex - France) StructId : 303091
- CNRS - Centre National de la Recherche Scientifique : UMR7020 (France) StructId : 441569

3 ECE - Department of Electrical and Computer Engineering [Tucson] (The University of Arizona, 1230 E. Speedway Blvd., Tucson, AZ 85721 - United States) StructId : 128530

University of Arizona (Tucson AZ 85721 USA - United States) StructId : 23624

Document type :

Journal articles

Domain :

Computer Science [cs]

Complete list of metadatas

https://hal-amu.archives-ouvertes.fr/hal-01785965
Contributor : Isabel Demongodin <>
Submitted on : Friday, May 4, 2018 - 5:55:31 PM
Last modification on : Wednesday, April 29, 2020 - 12:38:02 PM

Identifiers

HAL Id : hal-01785965, version 1
DOI : 10.1504/IJSPM.2017.085564

Collections

Citation

Aznam Yacoub, Maamar El Amine Hamri, Claudia Frydman, Chungman Seo, Bernard Zeigler. DEv-PROMELA : An Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event System. International Journal of Simulation and Process Modelling, 2017, 12 (3/4), ⟨10.1504/IJSPM.2017.085564⟩. ⟨hal-01785965⟩

DEv-PROMELA : An Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event System

Identifiers

Collections

Citation

Export

Metrics

269

DEv-PROMELA : An Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event System

Identifiers

Collections

Citation

Export

Share

Metrics

269