Your search returned 7 results.

Results
	1.	Verification of systems and circuits using LOTOS, Petri Nets, and CCS [electronic resource] / by Michael Yoeli and Rakefet Kol. by Yoeli, Michael, 1917- Kol, Rakefet ebrary, Inc Series: Wiley series on parallel and distributed computing Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Hoboken, N.J. : Wiley-Interscience, c2008 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Save to lists Add to cart (remove)
	2.	Petri nets [electronic resource] : fundamental models, verification and applications / edited by Michel Diaz. by Diaz, Michel, 1945- ebrary, Inc Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Hoboken, NJ : ISTE ; John Wiley and Sons, 2009 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Save to lists Add to cart (remove)
	3.	Biological petri nets [electronic resource] / edited by Edgar Wingender. by Wingender, Edgar ebrary, Inc Series: Studies in health technology and informatics ; v. 162. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Washington, D.C. : IOS Press, 2011 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Save to lists Add to cart (remove)
	4.	Property-preserving petri net process algebra in software engineering [electronic resource] / Hejiao Huang ... [et al.]. by Huang, Hejiao ebrary, Inc Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Singapore : World Scientific Pub. Co., 2012 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Save to lists Add to cart (remove)
	5.	Logic, computation, hierarchies / edited by Vasco Brattka, Hannes Diener, Dieter Spreen. by Selivanov, Victor [honouree.] Brattka, Vasco, 1966- [editor.] Diener, Hannes [editor.] Spreen, Dieter [editor.] Series: Ontos mathematical logic ; v. 4. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Boston : De Gruyter, [2014]Copyright date: ©2014 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Save to lists Add to cart (remove)
	6.	Systems dependability assessment : benefits of petri net models / Jean-François Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni. by Aubry, Jean-François [author.] Brînzei, Nicolae [author.] Mazouni, Mohammed-Habib [author.] Series: Systems and industrial engineering series \| Systems dependability assessment set Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Hoboken, New Jersey : ISTE : Wiley, 2015 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Save to lists Add to cart (remove)
	7.	Stochastic Petri Nets for Wireless Networks Lei Lei, Chuang Lin, Zhangdui Zhong by Lei, Lei Lin, Chuang Zhong, Zhangdui Series: SpringerBriefs in Electrical Computer Engineering Material type: Text; Format: print ; Literary form: Not fiction Publication details: Nairobi Springer 2015 Availability: Items available for loan: Athi-River Campus (3)Call number: QA267.L45 2015, ... Not available: Nairobi Campus: Withdrawn (2). Place hold Save to lists Add to cart (remove)