Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Ergebnis 25 von 1439
    Datensatz exportieren als...
  • BibTeX
Neue, einfache Algorithmen für Petrinetze
Informatik-Spektrum, 2014-06, Vol.37 (3), p.229-236
2014

Details

Autor(en) / Beteiligte
Titel
Neue, einfache Algorithmen für Petrinetze
Ist Teil von
  • Informatik-Spektrum, 2014-06, Vol.37 (3), p.229-236
Ort / Verlag
Berlin/Heidelberg: Springer Berlin Heidelberg
Erscheinungsjahr
2014
Link zum Volltext
Quelle
Alma/SFX Local Collection
Beschreibungen/Notizen
  • 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.
Sprache
Deutsch
Identifikatoren
ISSN: 0170-6012
eISSN: 1432-122X
DOI: 10.1007/s00287-013-0753-5
Titel-ID: cdi_hal_primary_oai_HAL_hal_01084813v1
Format
–
Schlagworte
Computer Hardware, Computer Science, Computer Systems Organization and Communication Networks, Data Structures and Information Theory, Hauptbeitrag, Logic in Computer Science, Software Engineering/Programming and Operating Systems

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX