( en | de | ru )

 

Disambiguation of "Boucheneb, Hanifa"

Author of the publication

copydeleteadd this publication to your clipboard
Optimal Reachability in Cost Time Petri Nets.

, , , , and . FORMATS, volume 10419 of Lecture Notes in Computer Science, page 58-73. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hanifa Jusi

Hanifa Moursi Sayed Ali

 

Other publications of authors with the same name

TCTL Model Checking of Time Petri Nets., , and . J. Log. Comput., 19 (6): 1509-1540 (2009)Partial order reduction for checking soundness of time workflow nets., and . Inf. Sci., (2014)Transactional Petri nets: a semantic framework for UML2 activities., , , and . Int. J. Crit. Comput. Based Syst., 5 (3/4): 241-267 (2014)Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools., and . Trans. Comput. Sci., (2009)Applying Formal Methods into Safety-Critical Health Applications., and . IMBSA, volume 8822 of Lecture Notes in Computer Science, page 195-208. Springer, (2014)On Multi-enabledness in Time Petri Nets., , and . Petri Nets, volume 7927 of Lecture Notes in Computer Science, page 130-149. Springer, (2013)Time based deadlock prevention for Petri nets., , , , , and . Autom., (2022)Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis., , , and . Ingénierie des Systèmes d Inf., 19 (6): 9-32 (2014)On-the-fly TCTL model checking for Time Petri Nets using state class graphs., and . ACSD, page 111-122. IEEE Computer Society, (2006)Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs., and . Discrete Event Dynamic Systems, 21 (2): 171-204 (2011)