Publikationen

Publikationen

Ausgewählte Publikationen

[HD18]
Thomas Hujsa and Raymond Devillers: On Deadlockability, Liveness and Reversibility in Subclasses of
   Weighted Petri Nets. To appear in Fundamenta Informaticae, 2018, 39 pages.
[DH18]
Raymond Devillers, Thomas Hujsa: Analysis and Synthesis of Weighted Marked Graph Petri Nets. To appear in the proceedings of Petri nets 2018, Bratislava, Slovakia.
[BHW17]
Eike Best and Thomas Hujsa and Harro Wimmel: Sufficient conditions for the marked graph realisability of labelled transition systems. Theoretical Computer Science (2017), issn: 0304-3975,DOI: 10.1016/j.tcs.2017.10.006, URL: www.sciencedirect.com/science/article/pii/S0304397517307181.
[HD17]
Thomas Hujsa and Raymond Devillers: On liveness and deadlockability in subclasses of weighted Petri nets. Petri Nets 2017 (ICATPN) Zaragoza, Spain, June 25-30, 2017, Springer LNCS, 20 pages.
[HDM16]
Thomas Hujsa, Jean-Marc Delosme and Alix Munier-Kordon, On the Liveness and Reversibility of Equal-Conflict Petri Nets. Fundamenta Informaticae 146 (2016), pp 83-119, DOI: 10.3233/FI-2016-1376.
(Stand: 20.04.2022)