Search

Your search returned 11 results.

Not what you expected? Check for suggestions

Results
		No cover image available 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 \| ProQuest (Firm). Series: Wiley series on parallel and distributed computingMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Hoboken, N.J. : Wiley-Interscience, c2008Online access: Click to View Availability: No items available. Add to cart (remove)
		No cover image available Petri nets [electronic resource] : fundamental models, verification and applications / edited by Michel Diaz. by Diaz, Michel, 1945- \| ProQuest (Firm). Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Hoboken, NJ : ISTE ; John Wiley and Sons, 2009Online access: Click to View Availability: No items available. Add to cart (remove)
		Biological petri nets [electronic resource] / edited by Edgar Wingender. by Wingender, Edgar \| ProQuest (Firm). 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, 2011Online access: Click to View Availability: No items available. Add to cart (remove)
		Property-preserving petri net process algebra in software engineering [electronic resource] / Hejiao Huang ... [et al.]. by Huang, Hejiao \| ProQuest (Firm). Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Singapore : World Scientific Pub. Co., 2012Online access: Click to View Availability: No items available. Add to cart (remove)
		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: 2014Online access: Click to View Availability: No items available. Add to cart (remove)
		Elements of distributed algorithms : modeling and analysis with Petri nets / Wolfgang Reisig. by Reisig, Wolfgang, 1950- [author.]. Edition: First edition.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin, [Germany] ; Heidelberg, [Germany] : Springer, 1998Copyright date: 1998Online access: Click to View Availability: No items available. Add to cart (remove)
		Elements of distributed algorithms : modeling and analysis with Petri nets / Wolfgang Reisig. by Reisig, Wolfgang, 1950- [author.]. Edition: First edition.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin, [Germany] ; Heidelberg, [Germany] : Springer, 1998Copyright date: 1998Online access: Click to View Availability: No items available. Add to cart (remove)
		Systems dependability assessment : benefits of petri net models / Jean-Francois Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni. by Aubry, Jean-Francois [author.] \| Brinzei, Nicolae [author.] \| Mazouni, Mohammed-Habib [author.]. Series: Systems and industrial engineering series \| Systems dependability assessment setMaterial type: Text; Format: available online ; Literary form: Not fiction Publisher: Hoboken, New Jersey : ISTE : Wiley, 2015Online access: Click to View Availability: No items available. Add to cart (remove)
		Systems dependability assessment : benefits of petri net models / Jean-Francois Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni. by Aubry, Jean-Francois [author.] \| Brinzei, Nicolae [author.] \| Mazouni, Mohammed-Habib [author.]. Series: Systems and industrial engineering series \| Systems dependability assessment setMaterial type: Text; Format: available online ; Literary form: Not fiction Publisher: Hoboken, New Jersey : ISTE : Wiley, 2015Online access: Click to View Availability: No items available. Add to cart (remove)
		Petri-Netz basierte verifikation von funktionalen testfallen / Sebastian Thiel. by Thiel, Sebastian [author.]. Series: Audi Dissertationsreihe ; Band 57Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Gottingen, [Germany] : Cuvillier Verlag, 2012Copyright date: 2012Online access: Click to View Availability: No items available. Add to cart (remove)
		Petri-Netz basierte verifikation von funktionalen testfallen / Sebastian Thiel. by Thiel, Sebastian [author.]. Series: Audi Dissertationsreihe ; Band 57Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Gottingen, [Germany] : Cuvillier Verlag, 2012Copyright date: 2012Online access: Click to View Availability: No items available. Add to cart (remove)