Search Results - "Petri nets"

Suggested Topics within your search.
  • Showing 1 - 15 results of 15
Refine Results
  1. 1
    Petri nets fundamental models, verification and applications

    Petri nets fundamental models, verification and applications

    Published 2009
    Subjects: “…Petri nets…”
    Click Here to View Status and Holdings.
    Unknown

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

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

    Published 2010
    Subjects: “…Petri nets…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  3. 3
    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
    Subjects: “…Petri nets…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 4
    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
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  5. 5
    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
    Subjects: “…Petri nets Congresses…”
    Click Here to View Status and Holdings.
    Unknown

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

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

    Published 2001
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  7. 7
    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
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  8. 8
    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
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  9. 9
    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
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

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

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

    Published 2007
    Subjects: “…Petri nets Design and construction…”
    Click Here to View Status and Holdings.
    Unknown

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

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

    Published 2009
    Subjects:
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  12. 12
    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
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

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

    Modeling and simulation of distributed systems by Kostin, Alexander

    Published 2010
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  14. 14
    Modeling, simulation and control of flexible manufacturing systems a Petri net approach

    Modeling, simulation and control of flexible manufacturing systems a Petri net approach by Zhou, Mengchu

    Published 1999
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  15. 15
    Quality of communication-based systems proceedings of the ... held September 1994

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

    Published 1995
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: