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

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

Modeling in systems biology the Petri net approach

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

Coloured petri nets modeling and validation of concurrent systems অনুযায়ী Jensen, Kurt

Verification of systems and circuits using LOTOS, Petri Nets, and CCS অনুযায়ী Yoeli, Michael 1917-

Verification of the AX.25 link-layer protocol using place-transition petri nets অনুযায়ী Festin, Cedric Angelo Mojica

Coloured Petri nets basic concepts, analysis methods, and practical use অনুযায়ী Jensen, K. (Kurt) 1950-

Petri nets in flexible and agile automation

Modelling with generalized stochastic Petri nets

Practice of Petri nets in manufacturing অনুযায়ী DiCesare, Frank