Follow
Thomas Hujsa
Title
Cited by
Cited by
Year
On the reversibility of well-behaved weighted choice-free systems
T Hujsa, JM Delosme, A Munier-Kordon
Application and Theory of Petri Nets and Concurrency: 35th International …, 2014
162014
Analysis and synthesis of weighted marked graph Petri nets
R Devillers, T Hujsa
Application and Theory of Petri Nets and Concurrency: 39th International …, 2018
152018
On the reversibility of live equal-conflict Petri nets
T Hujsa, JM Delosme, A Munier-Kordon
Application and Theory of Petri Nets and Concurrency: 36th International …, 2015
152015
Sufficient conditions for the marked graph realisability of labelled transition systems
E Best, T Hujsa, H Wimmel
Theoretical Computer Science 750, 101-116, 2018
132018
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
132013
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
122019
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
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
122013
Property directed reachability for generalized petri nets
N Amat, SD Zilio, T Hujsa
International Conference on Tools and Algorithms for the Construction and …, 2022
92022
On liveness and deadlockability in subclasses of weighted Petri nets
T Hujsa, R Devillers
Application and Theory of Petri Nets and Concurrency: 38th International …, 2017
92017
On Liveness and Reversibility of Equal-Conflict Petri Nets
T Hujsa, JM Delosme, A Munier-Kordon
Fundamenta Informaticae 146 (1), 83-119, 2016
82016
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
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
72019
On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets
T Hujsa, R Devillers
Fundamenta Informaticae 161 (4), 383--421, 2018
72018
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems
R Devillers, E Erofeev, T Hujsa
ATAED@Petri Nets/ACSD 2018, 75-90, 2018
72018
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
62020
Proposition of an action layer for electrum
J Brunel, D Chemouil, A Cunha, T Hujsa, N Macedo, J Tawa
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
62018
Contribution to the study of weighted Petri nets
T Hujsa
Université Pierre et Marie Curie-Paris VI, 2014
62014
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
42021
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
22020
The system can't perform the operation now. Try again later.
Articles 1–20