Thomas Hujsa
Title
Cited by
Cited by
Year
Polynomial sufficient conditions of well-behavedness and home markings in subclasses of weighted Petri nets
T Hujsa, JM Delosme, A Munier-Kordon
ACM Transactions on Embedded Computing Systems (TECS) 13 (4s), 1-25, 2014
122014
Polynomial sufficient conditions of well-behavedness for weighted join-free and choice-free systems
JM Delosme, T Hujsa, A Munier-Kordon
2013 13th International Conference on Application of Concurrency to System …, 2013
122013
Analysis and Synthesis of Weighted Marked Graph Petri Nets
R Devillers, T Hujsa
International Conference on Applications and Theory of Petri Nets and …, 2018
112018
On the Reversibility of Live Equal-Conflict Petri Nets
T Hujsa, JM Delosme, A Munier-Kordon
International Conference on Applications and Theory of Petri Nets and …, 2015
112015
On the reversibility of well-behaved weighted choice-free systems
T Hujsa, JM Delosme, A Munier-Kordon
International Conference on Applications and Theory of Petri Nets and …, 2014
112014
On liveness and deadlockability in subclasses of weighted Petri nets
T Hujsa, R Devillers
International Conference on Application and Theory of Petri Nets and …, 2017
102017
Liveness evaluation of a cyclo-static DataFlow graph
M Benazouz, A Munier-Kordon, T Hujsa, B Bodin
Proceedings of the 50th Annual Design Automation Conference, 1-7, 2013
102013
Analysis and synthesis of weighted marked graph Petri nets: Exact and approximate methods
R Devillers, T Hujsa
Fundamenta Informaticae 169 (1-2), 1-30, 2019
82019
Sufficient conditions for the marked graph realisability of labelled transition systems
E Best, T Hujsa, H Wimmel
Theoretical Computer Science 750, 101-116, 2018
82018
Synthesis of Weighted Marked Graphs from Circular Labelled Transition Systems
R Devillers, E Erofeev, T Hujsa
ATAED@Petri Nets/ACSD 2019, 6-22, 2019
72019
On Liveness and Reversibility of Equal-Conflict Petri Nets
T Hujsa, JM Delosme, A Munier-Kordon
Fundamenta Informaticae 146 (1), 83-119, 2016
72016
Contribution to the study of weighted Petri nets
T Hujsa
Université Pierre et Marie Curie-Paris VI, 2014
72014
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems
R Devillers, E Erofeev, T Hujsa
ATAED@Petri Nets/ACSD 2018, 75-90, 2018
62018
On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets
T Hujsa, R Devillers
Fundamenta Informaticae 161 (4), 383--421, 2018
52018
Proposition of an Action Layer for Electrum
J Brunel, D Chemouil, A Cunha, T Hujsa, N Macedo, J Tawa
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018
52018
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach
R Devillers, E Erofeev, T Hujsa
Petri Nets and Other Models of Concurrency (ToPNoC), 1-22, 2019
32019
Checking marking reachability with the state equation in Petri net subclasses
T Hujsa, B Berthomieu, S Dal Zilio, D Le Botlan
arXiv preprint arXiv:2006.05600, 1--44, 2020
22020
Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond
R Devillers, E Erofeev, T Hujsa
Transactions on Petri Nets and Other Models of Concurrency https://link …, 2021
12021
On the Petri Nets with a Single Shared Place and Beyond
T Hujsa, B Berthomieu, S Dal Zilio, D Le Botlan
arXiv preprint arXiv:2005.04818, 1--43, 2020
12020
Proposition of an Action Layer for Electrum
T Hujsa, D Chemouil, J Brunel, J Tawa, NM Macedo, A Cunha
2018
The system can't perform the operation now. Try again later.
Articles 1–20