Parallel Systems Group

Latest Publications

[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: http://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.