 | Monter d'un niveau |
Boucheneb, H., & Barkaoui, K. (juillet 2012). Parametric verification of time workflow nets [Communication écrite]. 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), Redwood City, CA, USA. Non disponible
Boucheneb, H., & Barkaoui, K. (juin 2012). Reachability analysis of P-time petri nets with parametric markings [Communication écrite]. 12th International Conference on Application of Concurrency to System Design (ACSD 2012), Hamburg, Germany. Lien externe
Boucheneb, H., Bullich, A., & Roux, O. H. (octobre 2012). FIFO time Petri nets for conflicts handling [Communication écrite]. 11th IFAC International Workshop on Discrete Event Systems (WODES 2012), Guadalajara, Mexico. Lien externe
Bullich, A., Boucheneb, H., & Roux, O. H. (juillet 2012). Refinement of time petri nets semantics in conflict situations [Communication écrite]. 9th International Conference on Cybernetics and Information Technologies, Systems and Applications (CITSA 2012), Orlando, Florida, USA. Lien externe
Heidira, P., & Boucheneb, H. (2012). A forward on-the-fly approach in controller synthesis of time petri nets. Dans Petri Nets - Manufacturing and Computer Science . Lien externe
Ould-Slimane, H., Bande, M., & Boucheneb, H. (octobre 2012). A collaborative environment for knowledge sharing governed by ABAC policies [Communication écrite]. 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2012), Pittsburgh, PA, USA. Lien externe
