1 paper
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…