 | Monter d'un niveau |
Boucheneb, H., & Rakkay, H. (juillet 2007). A more efficient time Petri net state space abstraction preserving linear properties [Communication écrite]. 7th Conference of Application of Concurrency to System Design, Bratislava, Slovak Republic. Lien externe
Rakkay, H., Boucheneb, H., & Roux, O. H. (juillet 2009). Time arc Petri nets and their analysis [Communication écrite]. 9th International Conference on Application of Concurrency to System Design, Augsburg, Germany. Lien externe
Rakkay, H., Boucheneb, H., & Roux, O. H. (octobre 2007). Réseaux de Petri à arcs temporels généralisés aux sémantiques faible et forte [Communication écrite]. 6e Colloque francophone sur la modélisation des systèmes réactifs. Non disponible
Rakkay, H., & Boucheneb, H. (juin 2007). Using times colored Petri net to formalize temporal role bases access control policies [Communication écrite]. 7e Conférence internationale sur les nouvelles technologies de la répartition (NOTERE 2007), Marrakech, Maroc. Non disponible
Rakkay, H., & Boucheneb, H. (janvier 2005). Timed secure colored petri net [Communication écrite]. Conférence sur les nouvelles technologies de la répartition (NOTERE 2005). Non disponible
