Accepted Paper at Petri Nets 2019

The PaVeS-group is very happy to announce the acceptance of the paper “Parameterized Analysis of Immediate Observation Petri Nets” at Petri Nets’19. The main contribution of the paper is to prove PSPACE-completeness for the parameterized reachability, coverability and liveness property in Immediate Observation Petri Nets a certain class of Petri Read more…

Accepted Paper at TACAS’19

We are very happy to announce the acceptance of the paper “Computing the Expected Execution Time of Probabilistic Workflow Nets” by Philipp Meyer, Philip Offtermatt and Javier Esparza at the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’19) of the European Joint Conferences on Read more…

Talks by Blaise Genest

The PaVeS-Group is happy to announce two talks by Blaise Genest: the first one is held today (22nd November 2018) at 16:00 in the room 00.09.038 and bears the title Controlling a Population. The second one is held at the 26th November 2018 at 14:00 in the room 00.12.019 and Read more…