Logo des Repositoriums
 

Neue, einfache Algorithmen für Petrinetze

dc.contributor.authorFinkel, Alain
dc.contributor.authorLeroux, Jérôme
dc.date.accessioned2018-01-05T11:46:51Z
dc.date.available2018-01-05T11:46:51Z
dc.date.issued2014
dc.description.abstractWir zeigen, wie die Entscheidungsprobleme der Überdeckung, der Beschränktheit und der Erreichbarkeit mithilfe induktiver Invarianten einfacher lösbar sind als mit herkömmlichen Methoden.
dc.identifier.pissn1432-122X
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/9242
dc.publisherSpringer-Verlag
dc.relation.ispartofInformatik-Spektrum: Vol. 37, No. 3
dc.relation.ispartofseriesInformatik-Spektrum
dc.titleNeue, einfache Algorithmen für Petrinetze
dc.typeText/Journal Article
gi.citation.endPage236
gi.citation.publisherPlaceBerlin Heidelberg
gi.citation.startPage229

Dateien