Search Results

Suggested Topics within your search.
  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    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

    Published 2003
    View in OPAC
    Book
  2. 2
    Advances in verification of time petri nets and timed automata : a temporal logic approach /

    Advances in verification of time petri nets and timed automata : a temporal logic approach / by Penczek, Wojciech

    Published 2006
    View in OPAC
    Book
  3. 3
    Modelling and analysis of hybrid supervisory systems : a petri net approach /

    Modelling and analysis of hybrid supervisory systems : a petri net approach / by Villani, Emilia

    Published 2007
    View in OPAC
    Book

Search Tools: