2 search results - page 1 / 1 » Diagnosability analysis of unbounded Petri nets |
CDC
2009
IEEE
13 years 10 months ago
2009
IEEE
CAV
2010
Springer
13 years 8 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...