All Stories

  1. On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets

    Article • Fundamenta Informaticae, July 2018, IOS Press

    Thomas Hujsa

  2. On Liveness and Reversibility of Equal-Conflict Petri Nets

    Article • Fundamenta Informaticae, September 2016, IOS Press

    Thomas Hujsa

  3. Polynomial Sufficient Conditions of Well-Behavedness and Home Markings in Subclasses of Weighted Petri Nets

    Article • ACM Transactions on Embedded Computing Systems, July 2014, ACM (Association for Computing Machinery)

    Thomas Hujsa