1. Abed M (1990) Contribution à la modélisation de la tâche par outils de spécification exploitant les mouvements oculaires : application à la conception et l’évaluation des interfaces homme-machine. PhD Thesis, University of Valenciennes and Hainaut-Cambrésis
2. Abed M (2001) Méthodes et modèles formels et semi-formels pour la conception et l’évaluation des systèmes homme-machine. HDR Thesis, University of Valenciennes and Hainaut-Cambrésis
3. Abed M, Ezzedine H (1998) Vers une démarche intégrée de conception-évaluation des systèmes homme-machine. J Decis Syst 7:147–175
4. Abed M, Bernard JM, Angué JC (1992) Method for comparing task model and activity model. In: Proceedings 11th European annual conference Human decision making and manual control, Valenciennes
5. Agha GA, De Cindio F, Roeznberg G (2001) Concurrent object oriented programming and Petri Nets. Advances in Petri Nets. LNCS, Springer, Berlin Heidelberg New york