Thomas Hujsa

23 papers A* 1B 4C 1Journal 12Unranked 4
YearRankTypeTitle / Venue / Authors
2022 — conf
Property Directed Reachability for Generalized Petri Nets.
TACAS (1)
Nicolas Amat, Silvano Dal-Zilio, Thomas Hujsa
2022 J jnl
Property Directed Reachability for Generalized Petri Nets.
CoRR
Nicolas Amat, Silvano Dal-Zilio, Thomas Hujsa
2021 J jnl
Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond.
Trans. Petri Nets Other Model. Concurr.
Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
2020 J jnl
Checking marking reachability with the state equation in Petri net subclasses.
CoRR
Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan
2020 J jnl
On the Petri Nets with a Single Shared Place and Beyond.
CoRR
Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan
2019 J jnl
Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate Methods.
Fundam. Informaticae
Raymond Devillers, Thomas Hujsa
2019 J jnl
Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond.
CoRR
Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
2019 — conf
Synthesis of Weighted Marked Graphs from Circular Labelled Transition Systems.
ATAED@Petri Nets/ACSD
Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
2019 J jnl
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach.
CoRR
Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
2019 J jnl
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach.
Trans. Petri Nets Other Model. Concurr.
Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
2018 B conf
Analysis and Synthesis of Weighted Marked Graph Petri Nets.
Petri Nets
Raymond Devillers, Thomas Hujsa
2018 J jnl
On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets.
Fundam. Informaticae
Thomas Hujsa, Raymond Devillers
2018 C conf
Proposition of an Action Layer for Electrum.
ABZ
Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa
2018 J jnl
Sufficient conditions for the marked graph realisability of labelled transition systems.
Theor. Comput. Sci.
Eike Best, Thomas Hujsa, Harro Wimmel
2018 — conf
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems.
ATAED@Petri Nets/ACSD
Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
2017 B conf
On Liveness and Deadlockability in Subclasses of Weighted Petri Nets.
Petri Nets
Thomas Hujsa, Raymond Devillers
2016 J jnl
On Liveness and Reversibility of Equal-Conflict Petri Nets.
Fundam. Informaticae
Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon
2015 B conf
On the Reversibility of Live Equal-Conflict Petri Nets.
Petri Nets
Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon
2014 — —
Contribution to the study of weighted Petri nets. (Contribution à l'étude des réseaux de Petri généralisés).
Thomas Hujsa
2014 B conf
On the Reversibility of Well-Behaved Weighted Choice-Free Systems.
Petri Nets
Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon
2014 J jnl
Polynomial Sufficient Conditions of Well-Behavedness and Home Markings in Subclasses of Weighted Petri Nets.
ACM Trans. Embed. Comput. Syst.
Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon
2013 A* conf
Liveness evaluation of a cyclo-static DataFlow graph.
DAC
Mohamed Benazouz, Alix Munier Kordon, Thomas Hujsa, Bruno Bodin
2013 — conf
Polynomial Sufficient Conditions of Well-Behavedness for Weighted Join-Free and Choice-Free Systems.
ACSD
Jean-Marc Delosme, Thomas Hujsa, Alix Munier Kordon