3 papers
cs.FL2026
Deciding Reachability and the Covering Problem with Diagnostics for Sound Acyclic Free-Choice Workflow Nets
Thomas M. Prinz, Christopher T. Schwanen, Wil M. P. van der Aalst
A central decision problem in Petri net theory is reachability asking whether a given marking can be reached from the initial marking. Related is the covering problem (or sub-marki…
cs.HC2024
How Participants Respond to Computer Delays
Désirée Scholz, Linda Graefe, Thomas M. Prinz
Reaction time studies with computers investigate how and how quickly participants respond to changing sensory input. They promise simple and precise measurement of time and inputs…
cs.DS2024
Pushing the Limits: Concurrency Detection in Acyclic Sound Free-Choice Workflow Nets in
Thomas M. Prinz, Julien Klaus, Nick R. T. P. van Beest
Concurrency is an important aspect of Petri nets to describe and simulate the behavior of complex systems. Knowing which places and transitions could be executed in parallel helps…