Place bisimulations in Petri nets | springerprofessional.de

Springer Professional

nach oben

Erschienen in:

Kapitel lesen Erstes Kapitel lesen

1992 | ReviewPaper | Buchkapitel

Place bisimulations in Petri nets

verfasst von : C. Autant, Ph. Schnoebelen

Erschienen in: Application and Theory of Petri Nets 1992

Verlag: Springer Berlin Heidelberg

Enthalten in: Professional Book Archive

Zugang erhalten

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

search-config

KI-gestützte Suche

Aus

Place bisimulations are bisimulations between places of Petri nets. We propose a new definition for this basic (new) concept, study several derivatives and classify them.The main practical application of place bisimulation is as a method for the simplification of nets in a semantically correct way. We show how this simplification can be done in polynomial time.

Vorheriges Kapitel Combining Petri Nets and other formal methods

Nächstes Kapitel A polynomial-time graph algorithm to decide liveness of some basic classes of bounded Petri nets

Titel: Place bisimulations in Petri nets
verfasst von: C. Autant
Ph. Schnoebelen
Verlag: Springer Berlin Heidelberg
Buch: Application and Theory of Petri Nets 1992
Print ISBN: 978-3-540-55676-3

Electronic ISBN: 978-3-540-47270-4

Copyright-Jahr: 1992
DOI: https://doi.org/10.1007/3-540-55676-1_3