HUJSA Thomas
Forschungsgruppe : ALSOC
Datum, an dem das LIP6 verlassen wurde : 30.10.2014
https://lip6.fr/Thomas.Hujsa
Forschungsleitung (Direction de recherche) : Alix MUNIER
Co-Betreuung : DELOSME Jean-Marc
Contribution to the study of weighted Petri nets
Many real systems and applications, including flexible manufacturing systems and embedded systems, are composed of communicating tasks and may be modeled by weighted Petri nets. The behavior of these systems can be checked on their model early on at the design phase, thus avoiding costly simulations on the designed systems.
Usually, the models should exhibit three basic properties: liveness, boundedness and reversibility. Liveness preserves the possibility of executing every task, while boundedness ensures that the operations can be performed with a bounded amount of resources. Reversibility avoids a costly initialization phase and allows resets of the system.
Most existing methods to analyse these properties have exponential time complexity. By focusing on several expressive subclasses of weighted Petri nets, namely Fork-Attribution, Choice-Free, Join-Free and Equal-Conflict nets, the first polynomial algorithms that ensure liveness, boundedness and reversibility for these classes have been developed in this thesis.
First, we provide several polynomial time transformations that preserve structural and behavioral properties of weighted Petri nets, while simplifying the study of their behavior. Second, we use these transformations to obtain several polynomial sufficient conditions of liveness for the subclasses considered. Finally, the transformations also prove useful for the study of the reversibility property under the liveness assumption. We provide several characterizations and polynomial sufficient conditions of reversibility for the same subclasses.
All our conditions are scalable and can be easily implemented in real systems.
Verteidigung einer Doktorarbeit : 29.10.2014
Mitglieder der Prüfungskommission :
M. Ahmed Bouajjani : Université Paris 7, LIAFA [Rapporteur]
M. José-Manuel Colom : Université de Saragosse, DIIS, GISED, Espagne [Rapporteur]
Mme. Feng Chu : Université d'Evry-Val d'Essonne, IBISC
Mme. Anne Bouillard : ENS Paris, DI
Mme. Béatrice Bérard : UPMC, LIP6
M. Serge Haddad : ENS Cachan, LSV
Mme. Alix Munier-Kordon : UPMC, LIP6
M. Jean-Marc Delosme : Université d'Evry-Val d'Essonne, IBISC
Publikationen 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 36th 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”, these, verteidigung einer doktorarbeit 29.10.2014, forschungsleitung (direction de recherche) Munier, Alix, co-betreuung : 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”, 35th 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”, 13th 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 50th Annual Design Automation Conference, DAC 2013, Austin, United States, pp. 3:1-3:7, (ACM) (2013)