Automated Generation of a Progress Measure for the Sweep-Line Method | springerprofessional.de

Springer Professional

nach oben

Erschienen in:

Kapitel lesen Erstes Kapitel lesen

2004 | OriginalPaper | Buchkapitel

Automated Generation of a Progress Measure for the Sweep-Line Method

verfasst von : Karsten Schmidt

Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems

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

In the context of Petri nets, we propose an automated construction of a progress measure which is an important pre-requisite for a state space reduction technique called the sweep-line method. Our construction is based on linear-algebraic considerations concerning the transition vectors of the Petri net under consideration.

Vorheriges Kapitel Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method

Nächstes Kapitel Tarjan’s Algorithm Makes On-the-Fly LTL Verification More Efficient

Titel: Automated Generation of a Progress Measure for the Sweep-Line Method
verfasst von: Karsten Schmidt
Verlag: Springer Berlin Heidelberg
Buch: Tools and Algorithms for the Construction and Analysis of Systems
Print ISBN: 978-3-540-21299-7

Electronic ISBN: 978-3-540-24730-2

Copyright-Jahr: 2004
DOI: https://doi.org/10.1007/978-3-540-24730-2_17

Springer Professional

Premium Partner