Recherche
Présentation
Le laboratoire
Organigramme
Recrutement
Contact
Accès
Recherche
Equipes
- Administration
- ILJ
- Isid
- Laetitia
- MSDMA
- OC
- SYS
- Vertigo
Actualités et Evénements
Membres
Publications
Doctorants
Formation
Electronique
Informatique
Mathématiques
Master
ENSIIE
Ecole Doctorale
Intranet
Connexion
Accueil CEDRIC
>
Laboratoire
>
Membre
>
View
>
R. Benayed
Publications
2007
Revue Internationale avec comité de lecture
[BBSa07]
K. Barkaoui
, R. Benayed,
Z. Sbai
. "
Workflow Soundness Verification Based on Structure Theory of Petri Nets
",
International Journal of Computing & Information Sciences (IJCIS Journal)
,
vol.
5(1),
pp.
51-62, 2007
Electronique
Informatique
Mathématiques
Master
CNA
M
Réseau Cnam
Accès
Contact
Informations Légales