Anmelden

    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