Suchergebnisse - Darondeau, Philippe

  • Treffer 1 – 7 von 7
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 2009
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2003
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 2015
    Inhaltsverzeichnis
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 2015
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Synthesis and Control of Discrete Event Systems

    Veröffentlicht 2002
    Weitere beteiligte Personen: “… Darondeau, Philippe …”
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: