Skip to main content

1987 | OriginalPaper | Buchkapitel

Complexity of Place / Transition Nets

verfasst von : Matthias Jantzen

Erschienen in: Petri Nets: Central Models and Their Properties

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

This is a survey of results about the complexity of decision problems for various questions about Petri nets that arise in the analysis of systems. The border between undecidable and decidable problems is discussed first and then problems are presented by decreasing complexity. As a consequence of the results presented it will follow that one has to concentrate on very restricted classes of systems in order to get practically relevant algorithms that work well for all cases, since even seemingly simple classes of Petri nets have simple problems with a provable high lower bound for the complexity of their sol’ution.

Metadaten
Titel
Complexity of Place / Transition Nets
verfasst von
Matthias Jantzen
Copyright-Jahr
1987
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-540-47919-2_16

Premium Partner