Decidability and complexity of Petri net problems -- An introduction
| Author(s) : | Javier Esparza, |
| Publisher : | N/A |
| Publication Date : | 1998 |
| ISSN : | N/A |
| Abstract : | Abstract. A collection of 10 "rules of thumb " is presented that helps to determine the decidability and complexity of a large number of Petri net problems. 1, |