Gösterilen 1 - 10 sonuçlar arası kayıtlar. 16 sonuç. Aranan kelime '', Sorgu süresi: 0.01s Sonuçları Daraltın
  1. 1

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

    Baskı/Yayın Bilgisi 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 Yazar: Moutinho, Filipe, Gomes, Luis 1958-

    Baskı/Yayın Bilgisi 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

    Baskı/Yayın Bilgisi 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

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

    Baskı/Yayın Bilgisi 2009
    Kitap

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

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

    Baskı/Yayın Bilgisi 2008
    Kitap

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

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

    Baskı/Yayın Bilgisi 1996
    Tez

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

    Coloured Petri nets basic concepts, analysis methods, and practical use Yazar: Jensen, K. (Kurt) 1950-

    Baskı/Yayın Bilgisi 1995
    Kitap

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

    Petri nets in flexible and agile automation

    Baskı/Yayın Bilgisi 1995
    Kitap

    Petri nets in flexible and agile automation
  9. 9

    Modelling with generalized stochastic Petri nets

    Baskı/Yayın Bilgisi 1995
    Kitap

    Modelling with generalized stochastic Petri nets
  10. 10

    Practice of Petri nets in manufacturing Yazar: DiCesare, Frank

    Baskı/Yayın Bilgisi 1993
    Kitap

    Practice of Petri nets in manufacturing

Arama Araçları: