Skip to main content

1998 | ReviewPaper | Buchkapitel

Place/transition Petri Nets

verfasst von : Jörg Desel, Wolfgang Reisig

Erschienen in: Lectures on Petri Nets I: Basic Models

Verlag: Springer Berlin Heidelberg

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

search-config
loading …

This contributions provides an introduction to the theory of place/transition Petri nets. Topics include the sequential and the concurrent behavior of place/ transition Petri nets, marking graphs and coverability trees, and some analysis techniques that are based on the structure of place/transition Petri nets.

Metadaten
Titel
Place/transition Petri Nets
verfasst von
Jörg Desel
Wolfgang Reisig
Copyright-Jahr
1998
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/3-540-65306-6_15

Neuer Inhalt