2 search results - page 1 / 1 » Monotonic Extensions of Petri Nets: Forward and Backward Sea... |
ENTCS
2002
13 years 4 months ago
2002
In this paper, we revisit the forward and backward approaches to the verification of extensions of infinite state Petri Nets. As contributions, we propose an efficient data struct...
CAV
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...