Direction de recherche : Alix MUNIER

Co-encadrement : DELOSME Jean-Marc

Contribution à l'étude des réseaux de Petri généralisés

De nombreux systèmes réels et applications, tels que les ateliers flexibles et systèmes embarqués, sont formés de tâches communicantes et sont modélisables par des réseaux de Petri pondérés. Le comportement de ces systèmes peut être vérifié sur leur modèle dès la phase de conception afin d'éviter les simulations post-conception coûteuses.
Ces systèmes doivent satisfaire trois propriétés : vivacité, capacité bornée et réversibilité. La vivacité préserve la possibilité d'exécuter chaque tâche. La capacité bornée assure une quantité limitée de ressources. La réversibilité évite une initialisation coûteuse et permet de réinitialiser le système.
Les méthodes d'analyse de ces propriétés ont généralement une complexité exponentielle. Dans cette thèse, nous étudions plusieurs sous-classes expressives des réseaux de Petri pondérés, soient les classes Fork-Attribution, Choice-Free, Join-Free et Equal-Conflict, pour lesquelles nous développons les premiers algorithmes polynomiaux garantissant vivacité, capacité bornée et réversibilité.
Premièrement, nous apportons des transformations polynomiales qui préservent de nombreuses propriétés des réseaux de Petri pondérés et facilitent l'étude de leur comportement. Deuxièmement, nous utilisons ces transformations pour obtenir plusieurs conditions polynomiales suffisantes de vivacité pour les sous-classes considérées. Enfin, ces transformations simplifient l'étude de la réversibilité sous hypothèse de vivacité. Nous donnons plusieurs caractérisations et conditions polynomiales suffisantes de réversibilité pour les sous-classes étudiées.
Nos conditions passent à l'échelle et sont aisément implémentables dans les systèmes réels.

Publications 2013-2016

• 2016
  • Th. Hujsa, J.‑M. Delosme, A. Munier‑Kordon : “On liveness and reversibility of equal-conflict Petri nets”, Fundamenta Informaticae, vol. 146 (1), pp. 83-119, (Polskie Towarzystwo Matematyczne) (2016)
• 2015
  • Th. Hujsa, J.‑M. Delosme, A. Munier Kordon : “On the Reversibility of Live Equal-Conflict Petri Nets”, Proceedings of the 36^th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, vol. 9115, Lecture Notes in Computer Science, Bruxelles, Belgium, pp. 234-253, (Springer) (2015)
• 2014
  • Th. Hujsa : “Contribution to the study of weighted Petri nets”, soutenance de thèse, soutenance 29/10/2014, direction de recherche Munier, Alix, co-encadrement : Delosme, Jean-Marc (2014)
  • Th. Hujsa, J.‑M. Delosme, A. Munier‑Kordon : “Polynomial Sufficient Conditions of Well-Behavedness and Home Markings in Subclasses of Weighted Petri Nets”, ACM Transactions on Embedded Computing Systems (TECS), vol. 13 (4), pp. 141:1-141:25, (ACM) (2014)
  • Th. Hujsa, J.‑M. Delosme, A. Munier‑Kordon : “On the Reversibility of Well-Behaved Weighted Choice-Free Systems”, 35^th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, vol. 8489, Lecture Notes in Computer Science, Tunis, Tunisia, pp. 334-353, (Springer International Publishing) (2014)
• 2013
  • J.‑M. Delosme, Th. Hujsa, A. Munier‑Kordon : “Polynomial Sufficient Conditions of Well-Behavedness for Weighted Join-Free and Choice-Free Systems”, 13^th International Conference of Application of Concurrency to System Design (ACSD 2013), Barcelona, Spain, pp. 90-99, (IEEE) (2013)
  • M. Benazouz, A. Munier‑Kordon, Th. Hujsa, B. Bodin : “Liveness evaluation of a cyclo-static DataFlow graph”, The 50^th Annual Design Automation Conference, DAC 2013, Austin, United States, pp. 3:1-3:7, (ACM) (2013)