Skip to contents

  1. Best, Eike [Author]; Devillers, Raymond [Author]; Koutny, Maciej [Author]

    Petri net algebra

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2001

    Published in: Monographs in theoretical computer science

  2. Lakhnech, Yassine [Editor]; Yovine, Sergio [Other] ; FORMATS 2 2004 Grenoble, FTRTFT 8 2004 Grenoble

    Formal techniques, modelling and analysis of timed and fault-tolerant systems : Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real- Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004 ; proceedings

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2004

    Published in: Lecture notes in computer science ; 3253

  3. Voss, Klaus [Editor]; Petri, Carl Adam [Honoree] ; Gesellschaft für Mathematik und Datenverarbeitung, Advanced Course on Petri Nets 1986 Bad Honnef

    Concurrency and nets : advances in Petri nets

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 1987

  4. Bienenstock, E. [Editor]; Fogelman Souliè, Françoise [Editor]; Weisbuch, Gérard [Editor] ; Advanced Research Workshop on Disordered Systems and Biological Organization 1985 Les Houches

    Disordered systems and biological organization : [proceedings of the NATO Advanced Research Workshop on Disordered Systems and Biological Organization held at Les Houches, February 25 - March 8, 1985]

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 1986

    Published in: NATO: NATO ASI series / F ; 20