Torthaí cuardaigh - "Petri nets"
-
1
Coloured Petri nets basic concepts, analysis methods, and practical use
Foilsithe / Cruthaithe 1995LEABHAR -
2
Coloured petri nets modeling and validation of concurrent systems
Foilsithe / Cruthaithe 2009LEABHAR -
3
Application and theory of Petri nets, 1993 14th international conference, Chicago, Illinois, USA, June 21-25, 1993 proceedings
Foilsithe / Cruthaithe 1993LEABHAR -
4
-
5
Robust modelling and simulation integration of SIMIO with coloured Petri nets
Foilsithe / Cruthaithe 2017Available 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 -
6
Petri nets and Grafcet tools for modelling discrete event systems
Foilsithe / Cruthaithe 1992LEABHAR -
7
Verification of the AX.25 link-layer protocol using place-transition petri nets
Foilsithe / Cruthaithe 1996Tráchtas -
8
Modeling in systems biology the Petri net approach
Foilsithe / Cruthaithe 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
9
-
10


