We propose a semi-decision procedure for checking generalized reachabili...
Although decidable, the marking reachability problem for Petri nets is
w...
Petri nets proved useful to describe various real-world systems, but man...
In previous studies, several methods have been developed to synthesise P...