検索結果

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

Spiking neural P systems implementations and applications 著者: Cabarle, Francis George Carreon

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

Practice of Petri nets in manufacturing 著者: DiCesare, Frank

Petri nets in flexible and agile automation

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

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

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

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

Modeling in systems biology the Petri net approach

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Petri nets and Grafcet tools for modelling discrete event systems 著者: David, Rene, Alla, Hassane

Modelling with generalized stochastic Petri nets