Treffer 1 – 7 von 7 für Suche 'Darondeau, Philippe', Suchdauer: 0,07s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Petri Net Synthesis

    Petri Net Synthesis von Badouel, Eric, Bernardinello, Luca, Darondeau, Philippe

    Veröffentlicht 2015

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Separability in persistent Petri Nets Bericht

    Separability in persistent Petri Nets Bericht von Best, Eike 1951-, Darondeau, Philippe

    Veröffentlicht 2009
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    An enlarged definition and complete axiomatization of observational congruence of finite processes

    An enlarged definition and complete axiomatization of observational congruence of finite processes von Darondeau, Philippe

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Petri net synthesis

    Petri net synthesis von Badouel, Eric, Bernardinello, Luca, Darondeau, Philippe

    Veröffentlicht 2015
    Beschreibung
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Transition systems without transitions

    Transition systems without transitions von Borzyszkowski, Andrzej M., Darondeau, Philippe

    Veröffentlicht 2003
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Causal trees interleaving + causality

    Causal trees interleaving + causality von Darondeau, Philippe, Degano, Pierpaolo 1950-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Synthesis and Control of Discrete Event Systems

    Synthesis and Control of Discrete Event Systems

    Veröffentlicht 2002
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: