Explizites Model Checking: Welche Vorteile bieten Petrinetze?
Autor(en):
Zusammenfassung
Petrinetze wurden vorgeschlagen, um Schwächen klassischer Automatenmodelle zu beheben. Explizites Model Checking übersetzt jedoch zunächst ein Petrinetz in einen klassischen Automaten. Damit gibt man zunächst die Vorteile von Petrinetzen scheinbar wieder auf. Wir zeigen jedoch, dass die wichtigsten Techniken des expliziten Model Checking besonders effizient sind, wenn sie grundlegende Prinzipien von Petrinetzen berücksichtigen. Dieser Beitrag beschreibt Resultate, die auf praktischen Erfahrungen mit einem petrinetzbasierten Werkzeug zum expliziten Model Checking beruhen.
- Vollständige Referenz
- BibTeX
Wolf, K.,
(2014).
Explizites Model Checking: Welche Vorteile bieten Petrinetze?.
Informatik-Spektrum: Vol. 37, No. 3.
Berlin Heidelberg:
Springer-Verlag.
(S. 220-228).
DOI: 10.1007/s00287-013-0755-3
@article{mci/Wolf2014,
author = {Wolf, Karsten},
title = {Explizites Model Checking: Welche Vorteile bieten Petrinetze?},
journal = {Informatik-Spektrum},
volume = {37},
number = {3},
year = {2014},
,
pages = { 220-228 } ,
doi = { 10.1007/s00287-013-0755-3 }
}
author = {Wolf, Karsten},
title = {Explizites Model Checking: Welche Vorteile bieten Petrinetze?},
journal = {Informatik-Spektrum},
volume = {37},
number = {3},
year = {2014},
,
pages = { 220-228 } ,
doi = { 10.1007/s00287-013-0755-3 }
}
Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.1007/s00287-013-0755-3
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken
Mehr Information
ISSN: 1432-122X
Datum: 2014
Typ: Text/Journal Article