Neue, einfache Algorithmen für Petrinetze
Zusammenfassung
Wir zeigen, wie die Entscheidungsprobleme der Überdeckung, der Beschränktheit und der Erreichbarkeit mithilfe induktiver Invarianten einfacher lösbar sind als mit herkömmlichen Methoden.
- Vollständige Referenz
- BibTeX
Finkel, A. & Leroux, J.,
(2014).
Neue, einfache Algorithmen für Petrinetze.
Informatik-Spektrum: Vol. 37, No. 3.
Berlin Heidelberg:
Springer-Verlag.
(S. 229-236).
DOI: 10.1007/s00287-013-0753-5
@article{mci/Finkel2014,
author = {Finkel, Alain AND Leroux, Jérôme},
title = {Neue, einfache Algorithmen für Petrinetze},
journal = {Informatik-Spektrum},
volume = {37},
number = {3},
year = {2014},
,
pages = { 229-236 } ,
doi = { 10.1007/s00287-013-0753-5 }
}
author = {Finkel, Alain AND Leroux, Jérôme},
title = {Neue, einfache Algorithmen für Petrinetze},
journal = {Informatik-Spektrum},
volume = {37},
number = {3},
year = {2014},
,
pages = { 229-236 } ,
doi = { 10.1007/s00287-013-0753-5 }
}
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-0753-5
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken
Mehr Information
ISSN: 1432-122X
Datum: 2014
Typ: Text/Journal Article