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 | 16 | 2015 |
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 | 16 | 2014 |
Analysis and synthesis of weighted marked graph Petri nets R Devillers, T Hujsa Application and Theory of Petri Nets and Concurrency: 39th International …, 2018 | 15 | 2018 |
Sufficient conditions for the marked graph realisability of labelled transition systems E Best, T Hujsa, H Wimmel Theoretical Computer Science 750, 101-116, 2018 | 13 | 2018 |
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 | 13 | 2013 |
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 | 12 | 2019 |
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 | 12 | 2014 |
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 | 12 | 2013 |
Property directed reachability for generalized petri nets N Amat, SD Zilio, T Hujsa International Conference on Tools and Algorithms for the Construction and …, 2022 | 9 | 2022 |
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 | 9 | 2017 |
On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets T Hujsa, R Devillers Fundamenta Informaticae 161 (4), 383--421, 2018 | 8 | 2018 |
On Liveness and Reversibility of Equal-Conflict Petri Nets T Hujsa, JM Delosme, A Munier-Kordon Fundamenta Informaticae 146 (1), 83-119, 2016 | 8 | 2016 |
Synthesis of Weighted Marked Graphs from Circular Labelled Transition Systems R Devillers, E Erofeev, T Hujsa ATAED@Petri Nets/ACSD 2019, 6-22, 2019 | 7 | 2019 |
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 | 7 | 2019 |
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems R Devillers, E Erofeev, T Hujsa ATAED@Petri Nets/ACSD 2018, 75-90, 2018 | 7 | 2018 |
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 | 7 | 2018 |
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 | 6 | 2020 |
Contribution to the study of weighted Petri nets T Hujsa Université Pierre et Marie Curie-Paris VI, 2014 | 6 | 2014 |
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 | 4 | 2021 |
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 | 2 | 2020 |