|
 
|
Liste des publications
2015
- [SB15] Z. Sbai, K. Barkaoui. "On quantitative Analysis of Time Open Workflow Nets and Parametric Extension", The 9th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, September 2015, Vol. 1431, pp.97-10, Series CEUR Workshop Proceedings, Bucharest, Romania,
Conférence Internationale avec comité de lecture
2014
- [SBBa14] Z. Sbaï, K. Barkaoui, H. Boucheneb. "Compatibility Analysis of Time Open Workflow Nets", International Workshop on Petri Nets and Software Engineering (PNSE 2014), June 2014, Vol. 1160, pp.249-268, Series CEUR Workshop Proceedings, (DOI: ISSN 1613-0073)
