Timed secure colored Petri net based analysis of information flow. - Hind Rakkay; Hanifa Boucheneb (Ann. des Télécommunications, 2006)

A more efficient time Petri net state space abstraction preserving linear properties. - Hanifa Boucheneb; Hind Rakkay (ACSD, 2007)

A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties. - Hanifa Boucheneb; Hind Rakkay (Fundam. Informaticae, 2008)

Time Arc Petri Nets and Their Analysis. - Hind Rakkay; Hanifa Boucheneb; Olivier H. Roux (ACSD, 2009)

Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools. - Hind Rakkay; Hanifa Boucheneb (Trans. Comput. Sci., 2009)