Parallele Systeme

Ausgewählte Publikationen


Thomas Hujsa and Raymond Devillers: On Deadlockability, Liveness and Reversibility in Subclasses of
   Weighted Petri Nets. To appear in Fundamenta Informaticae, 2018, 39 pages.


Raymond Devillers, Thomas Hujsa: Analysis and Synthesis of Weighted Marked Graph Petri Nets. To appear in the proceedings of Petri nets 2018, Bratislava, Slovakia.


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:


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.


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.