Polynomial Sufficient Conditions of Well-Behavedness for Weighted Join-Free and Choice-Free Systems. - Jean-Marc Delosme; Thomas Hujsa; Alix Munier Kordon (ACSD, 2013)

Liveness evaluation of a cyclo-static DataFlow graph. - Mohamed Benazouz; Alix Munier Kordon; Thomas Hujsa; Bruno Bodin (DAC, 2013)

On the Reversibility of Well-Behaved Weighted Choice-Free Systems. - Thomas Hujsa; Jean-Marc Delosme; Alix Munier Kordon (Petri Nets, 2014)

Polynomial Sufficient Conditions of Well-Behavedness and Home Markings in Subclasses of Weighted Petri Nets. - Thomas Hujsa; Jean-Marc Delosme; Alix Munier Kordon (ACM Trans. Embed. Comput. Syst., 2014)

Contribution to the study of weighted Petri nets. (Contribution à l'étude des réseaux de Petri généralisés). - Thomas Hujsa (2014)

On the Reversibility of Live Equal-Conflict Petri Nets. - Thomas Hujsa; Jean-Marc Delosme; Alix Munier Kordon (Petri Nets, 2015)

On Liveness and Reversibility of Equal-Conflict Petri Nets. - Thomas Hujsa; Jean-Marc Delosme; Alix Munier Kordon (Fundam. Informaticae, 2016)

On Liveness and Deadlockability in Subclasses of Weighted Petri Nets. - Thomas Hujsa; Raymond Devillers (Petri Nets, 2017)

Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems. - Raymond Devillers; Evgeny Erofeev; Thomas Hujsa (ATAED@Petri Nets/ACSD, 2018)

Analysis and Synthesis of Weighted Marked Graph Petri Nets. - Raymond Devillers; Thomas Hujsa (Petri Nets, 2018)

Proposition of an Action Layer for Electrum. - Julien Brunel; David Chemouil; Alcino Cunha; Thomas Hujsa; Nuno Macedo 001; Jeanne Tawa (ABZ, 2018)

On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets. - Thomas Hujsa; Raymond Devillers (Fundam. Informaticae, 2018)

Sufficient conditions for the marked graph realisability of labelled transition systems. - Eike Best; Thomas Hujsa; Harro Wimmel (Theor. Comput. Sci., 2018)

Synthesis of Weighted Marked Graphs from Circular Labelled Transition Systems. - Raymond Devillers; Evgeny Erofeev; Thomas Hujsa (ATAED@Petri Nets/ACSD, 2019)

Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate Methods. - Raymond Devillers; Thomas Hujsa (Fundam. Informaticae, 2019)

Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach. - Raymond Devillers; Evgeny Erofeev; Thomas Hujsa (Trans. Petri Nets Other Model. Concurr., 2019)

On the Petri Nets with a Single Shared Place and Beyond. - Thomas Hujsa; Bernard Berthomieu; Silvano Dal-Zilio; Didier Le Botlan (CoRR, 2020)

Checking marking reachability with the state equation in Petri net subclasses. - Thomas Hujsa; Bernard Berthomieu; Silvano Dal-Zilio; Didier Le Botlan (CoRR, 2020)

Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond. - Raymond Devillers; Evgeny Erofeev; Thomas Hujsa (Trans. Petri Nets Other Model. Concurr., 2021)

Property Directed Reachability for Generalized Petri Nets. - Nicolas Amat; Silvano Dal-Zilio; Thomas Hujsa (TACAS (1), 2022)