Your search returned 17 results.

Results
	1.	Advances in Verification of Time Petri Nets and Timed Automata [electronic resource] : A Temporal Logic Approach / by Wojciech Penczek, Agata Polrola. by Penczek, Wojciech Polrola, Agata SpringerLink (Online service) Series: Studies in Computational Intelligence ; 20 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	2.	Applications and Theory of Petri Nets 2005 [electronic resource] : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / edited by Gianfranco Ciardo, Philippe Darondeau. by International Conference on Applications and Theory of Petri Nets (26th : 2005 : Miami, Fla.) Ciardo, Gianfranco Darondeau, Philippe SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3536 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3.	Applications and Theory of Petri Nets [electronic resource] : 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings / edited by Kees M. Hee, Rudiger Valk. by International Conference on Applications and Theory of Petri Nets (29th : 2008 : Xi'an, China) Hee, Kees M Valk, Rudiger SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5062 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	4.	Applications and theory of Petri nets [electronic resource] : 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings / edited by Johan Lilius, Wojciech Penczek. by International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (31st : 2010 : Braga, Portugal) Lilius, Johan Penczek, Wojciech SpringerLink (Online service) Series: Lecture notes in computer science ; 6128 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 Other title: PETRI NETS 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	5.	Applications and theory of petri nets [electronic resource] : 30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 : proceedings / edited by Giuliana Franceschinis, Karsten Wolf. by International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (30th : 2009 : Paris, France) Franceschinis, Giuliana Wolf, Karsten SpringerLink (Online service) Series: Lecture notes in computer science ; 5606 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: PETRI NETS 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	6.	Discrete, Continuous, and Hybrid Petri Nets [electronic resource] / by Rene David, Hassane Alla. by David, Rene Alla, Hassane SpringerLink (Online service) Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	7.	Dynamic Analysis of Petri Net-Based Discrete Systems [electronic resource] / by Andrei Karatkevich. by Karatkevich, Andrei SpringerLink (Online service) Series: Lecture Notes in Control and Information Sciences ; 356 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	8.	Modeling and control of discrete-event dynamical systems [electronic resource] : with Petri nets and other tool / B. Hruz and M.C. Zhou. by Hruz, B. (Branislav) Zhou, MengChu SpringerLink (Online service) Series: Advanced textbooks in control and signal processing Publication details: London : Springer-Verlag, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	9.	Modelling and Analysis of Hybrid Supervisory Systems [electronic resource] : A Petri Net Approach / by Emilia Villani, Paulo E. Miyagi, Robert Valette. by Villani, Emilia Miyagi, Paulo E Valette, Robert SpringerLink (Online service) Series: Advances in Industrial Control Publication details: London : Springer-Verlag London Limited, 2007 In: Springer e-books Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook. Place hold
	10.	Parallel and Distributed Logic Programming [electronic resource] : Towards the Design of a Framework for the Next Generation Database Machines / by Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal. by Bhattacharya, Alakananda Konar, Amit Mandal, Ajit K SpringerLink (Online service) Series: Studies in Computational Intelligence ; 24 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	11.	No cover image available Pembinaan model dinamik in silico tapak jalan biosintesis terpenoid berasaskan teknik petri net / Aliah Hazmah binti Hawari by Aliah Hazmah Hawari Publication details: 2010 Dissertation note: Tesis (Sarjana Sains) - Universiti Kebangsaan Malaysia, 2010 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA267.A533 2010 tesis. Place hold
	12.	Performance modeling of automated manufacturing systems N. Viswanadham, Y. Narahari. by Viswanadham, N., 1943- [author.] Narahari, Y Series: Prentice-Hall information and system sciences series Publication details: Englewood Cliffs, N.J. Prentice-Hall 1992 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: TS155.6 .V57 3. Place hold
	13.	Petri Nets and Other Models of Concurrency - ICATPN 2006 [electronic resource] : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings / edited by Susanna Donatelli, P.S. Thiagarajan. by International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (27th : 2006 : Turku, Finland) Donatelli, Susanna Thiagarajan, P.S SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4024 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	14.	Petri Nets and Other Models of Concurrency - ICATPN 2007 [electronic resource] : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceeding / edited by Jetty Kleijn, Alex Yakovlev. by International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (28th : 2007 : Siedlce, Poland) Kleijn, Jetty Yakovlev, Alex SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4546 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	15.	Supervisory Control of Concurrent Systems [electronic resource] : A Petri Net Structural Approach / by Marian V. Iordache, Panos J. Antsaklis. by Iordache, Marian V Antsaklis, Panos J SpringerLink (Online service) Series: Systems and Control: Foundations & Applications Publication details: Boston, MA : Birkhauser Boston, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	16.	Transactions on petri nets and other models of concurrency I [electronic resource] / edited by Kurt Jensen, Wil M. P. Aalst, Jonathan Billington. by International Conference on Applications and Theory of Petri Nets (28th : 2007 : Siedlce, Poland) Aalst, Wil M. P Billington, Jonathan Jensen, Kurt SpringerLink (Online service) Series: Lecture notes in computer science ; 5100 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	17.	Transactions on petri nets and other models of concurrency III [electronic resource] / edited by Kurt Jensen, Jonathan Billington, Maciej Koutny. by Jensen, Kurt Koutny, Maciej Billington, Jonathan SpringerLink (Online service) Series: Lecture notes in computer science ; 5800 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 Other title: Transactions on petri nets and other models of concurrency 3 Transactions on petri nets and other models of concurrency three Petri nets and other models of concurrency III Petri nets and other models of concurrency 3 Petri nets and other models of concurrency three In: Springer eBooks Online resources: Click here to access online Availability: No items available.

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library