Conference
Philipp Meyer’s talk at TACAS
Philipp Meyer held his talk at TACAS’19 about “Computing the expected execution time of probabilistic Workflow-Nets”. The slides can be found here.
Conference
TACAS’19 proceedings published
The paper “Computing the Expected Execution Time of Probabilistic Workflow Nets” by Philipp Meyer, Javier Esparza and Philip Offtermatt is now published in the proceedings of TACAS’19.
Conference
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…
Conference
Approaching D-CON
The D-CON is drawing closer. It is a conference about distributed computing organized by the chair i7 (essentially, us; specifically, Stefan Jaax and Philipp Meyer) from the 14th to the 15th of March. The two invited talks are by Filip Mazowiecki about the reachability problem for Petri nets being not Read more…
Conference
PC of Petri Nets ’19, VMCAI ’19
The PaVeS-Group is very happy to announce that Javier Esparza is member of the Program Committe for Petri Nets ’19 as well as Verification, Model Checking, and Abstract Interpretation ’19.
Conference
D-CON 2019
The D-CON meeting 2019 will take place at the TUM in Garching from March 14-15, 2019.