Thomas Hujsa

Available identifiers

zbMath Open hujsa.thomasMaRDI QIDQ1623287

List of research outcomes

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	2021-06-14	Paper
Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond	2021-06-14	Paper
Analysis and synthesis of weighted marked graph Petri nets: exact and approximate methods	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	2018-11-23	Paper
On deadlockability, liveness and reversibility in subclasses of weighted Petri nets	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	2017-07-28	Paper
On the Reversibility of Live Equal-Conflict Petri Nets	2015-08-27	Paper
On the reversibility of well-behaved weighted choice-free systems	2014-07-08	Paper

Research outcomes over time

This page was built for person: Thomas Hujsa