Showing 1 - 10 results of 17 for search '', query time: 0.09s Refine Results
  1. 1

    Robust modelling and simulation integration of SIMIO with coloured Petri nets by Mota, Idalia Flores de la, Guasch, Antoni, Mujica Mota, Miguel, Piera, M. A.

    Published 2017
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Robust modelling and simulation integration of SIMIO with coloured Petri nets
  2. 2

    Distributed embedded controller development with petri nets application to globally-asynchronous locally-synchronous systems by Moutinho, Filipe, Gomes, Luis 1958-

    Published 2016
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Distributed embedded controller development with petri nets application to globally-asynchronous locally-synchronous systems
  3. 3

    Modeling in systems biology the Petri net approach

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Modeling in systems biology the Petri net approach
  4. 4

    Modeling in systems biology the Petri net approach

    Published 2011
    Available for University of the Philippines System via SpringerLink. Click here to access
    Electronic Resource

    Modeling in systems biology the Petri net approach
  5. 5

    Coloured petri nets modeling and validation of concurrent systems by Jensen, Kurt

    Published 2009
    Book

    Coloured petri nets modeling and validation of concurrent systems
  6. 6

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

    Published 2008
    Book

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS
  7. 7

    Verification of the AX.25 link-layer protocol using place-transition petri nets by Festin, Cedric Angelo Mojica

    Published 1996
    Thesis

    Verification of the AX.25 link-layer protocol using place-transition petri nets
  8. 8

    Coloured Petri nets basic concepts, analysis methods, and practical use by Jensen, K. 1950-

    Published 1995
    Book

    Coloured Petri nets basic concepts, analysis methods, and practical use
  9. 9

    Petri nets in flexible and agile automation

    Published 1995
    Book

    Petri nets in flexible and agile automation
  10. 10

    Modelling with generalized stochastic Petri nets

    Published 1995
    Book

    Modelling with generalized stochastic Petri nets

Search Tools: