Thomas Hujsa

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Property directed reachability for generalized Petri nets	2024-01-23	Paper
Synthesis of weighted marked graphs from constrained labelled transition systems: a geometric approach (available as arXiv preprint)	2021-06-14	Paper
Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond (available as arXiv preprint)	2021-06-14	Paper
Analysis and synthesis of weighted marked graph Petri nets: exact and approximate methods Fundamenta Informaticae	2020-01-24	Paper
Analysis and synthesis of weighted marked graph Petri nets	2019-12-18	Paper
Sufficient conditions for the marked graph realisability of labelled transition systems Theoretical Computer Science	2018-11-23	Paper
On deadlockability, liveness and reversibility in subclasses of weighted Petri nets Fundamenta Informaticae	2018-10-02	Paper
On liveness and deadlockability in subclasses of weighted Petri nets	2018-08-20	Paper
On liveness and reversibility of equal-conflict Petri nets Fundamenta Informaticae	2017-07-28	Paper
On the Reversibility of Live Equal-Conflict Petri Nets Application and Theory of Petri Nets and Concurrency	2015-08-27	Paper
On the reversibility of well-behaved weighted choice-free systems Application and Theory of Petri Nets and Concurrency	2014-07-08	Paper

Research outcomes over time

This page was built for person: Thomas Hujsa