Suche nach Personen

plus im Publikationsserver
plus bei BASE
plus bei Google Scholar

Daten exportieren

 

Comparison of different algorithms to synthesize a Petri net from a partial language

Titelangaben

Verfügbarkeit überprüfen

Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian:
Comparison of different algorithms to synthesize a Petri net from a partial language.
In: Transactions on Petri nets and other models of concurrency. (2009). - S. 216-243.
ISSN 1867-7193

Weitere Angaben

Publikationsform:Artikel
Institutionen der Universität:Mathematisch-Geographische Fakultät > Informatik > Lehrstuhl für Angewandte Informatik (bis 2010)
Peer-Review-Journal:Nein
Verlag:Springer
Titel an der KU entstanden:Ja
KU.edoc-ID:3289
Eingestellt am: 20. Jan 2010 14:51
Letzte Änderung: 20. Jan 2010 14:51
URL zu dieser Anzeige: https://edoc.ku.de/id/eprint/3289/
AnalyticsGoogle Scholar