Search Results

Suggested Topics within your search.
  • Showing 1 - 14 results of 14
Refine Results
  1. 1
    Quality of communication-based systems proceedings of the ... held September 1994

    Quality of communication-based systems proceedings of the ... held September 1994

    Published 1995
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    Application and theory of Petri nets 2000 proceedings of the...held June 26 - 30, 2000

    Application and theory of Petri nets 2000 proceedings of the...held June 26 - 30, 2000

    Published 2000
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 3
    Concurrent object-oriented programming and Petri nets advances in petri nets

    Concurrent object-oriented programming and Petri nets advances in petri nets

    Published 2001
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 4
    Petri nets for systems engineering a guide to modeling, verification, and applications

    Petri nets for systems engineering a guide to modeling, verification, and applications by Girault, Claude, Valk, Rudiger

    Published 2003
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  5. 5
    Modeling and control of discrete-event dynamic systems with Petri nets and other tools

    Modeling and control of discrete-event dynamic systems with Petri nets and other tools by Hruz, B. Branislav

    Published 2007
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  6. 6
    Dynamic analysis of Petri net-based discrete systems

    Dynamic analysis of Petri net-based discrete systems by Karatkevich, Andrei

    Published 2007
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  7. 7
    Verification of systems and circuits using LOTOS, Petri Nets, and CCS

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Yoeli, Michael 1917-

    Published 2008
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  8. 8
    Perspectives in concurrency theory a festschrift for P. S. Thiagarajan

    Perspectives in concurrency theory a festschrift for P. S. Thiagarajan

    Published 2009
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  9. 9
    Discrete, continuous, and hybrid Petri Nets

    Discrete, continuous, and hybrid Petri Nets by David, Rene 1939-

    Published 2010
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  10. 10
    Petri nets fundamental models, verification and applications

    Petri nets fundamental models, verification and applications

    Published 2009
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  11. 11
    Coloured petri nets modeling and validation of concurrent systems

    Coloured petri nets modeling and validation of concurrent systems by Jensen, K. 1950- Kurt

    Published 2009
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  12. 12
    Modeling and simulation of distributed systems

    Modeling and simulation of distributed systems by Kostin, Alexander

    Published 2010
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  13. 13
    Petri net synthesis for discrete event control of manufacturing systems

    Petri net synthesis for discrete event control of manufacturing systems by Zhou, MengChu

    Published 1993
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  14. 14
    Petri nets and Grafcet tools for modelling discrete event systems

    Petri nets and Grafcet tools for modelling discrete event systems by David, Rene 1939-

    Published 1992
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: