AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Thomas Hujsa

Thomas Hujsa

Laboratoire d'Analyse et d'Architecture des Systèmes du CNRS - Toulouse / France
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 4582105
CNRS Systems Analysis and Architecture Laboratory
person_outline Thomas Hujsa's MOST POPULAR ARTICLES
1-) On the reversibility of well-behaved weighted choice-free systems Application and Theory of Petri Nets and Concurrency: 35th International …, 2014
2-) Analysis and synthesis of weighted marked graph Petri nets Application and Theory of Petri Nets and Concurrency: 39th International …, 2018
3-) On the reversibility of live equal-conflict Petri nets Application and Theory of Petri Nets and Concurrency: 36th International …, 2015
4-) Property directed reachability for generalized petri nets International Conference on Tools and Algorithms for the Construction and …, 2022
5-) Sufficient conditions for the marked graph realisability of labelled transition systems Theoretical Computer Science 750, 101-116, 2018