|
|
Petri nets [electronic resource] : fundamental models, verification and applications / edited by Michel Diaz.
by Diaz, Michel, 1945- | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Hoboken, NJ : ISTE ; John Wiley and Sons, 2009Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items 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 | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Hoboken, N.J. : Wiley-Interscience, c2008Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
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.]. Material type: Book; Format:
available online
festschrift
; Literary form:
Not fiction
Publisher: Boston : De Gruyter, [2014]Copyright date: �2014Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Property-preserving petri net process algebra in software engineering [electronic resource] / Hejiao Huang ... [et al.].
by Huang, Hejiao | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : World Scientific Pub. Co., 2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Petri nets [electronic resource] : fundamental models, verification and applications / edited by Michel Diaz.
by Diaz, Michel, 1945- | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Hoboken, NJ : ISTE ; John Wiley and Sons, 2009Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Biological petri nets [electronic resource] / edited by Edgar Wingender.
by Wingender, Edgar | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Washington, D.C. : IOS Press, 2011Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Property-preserving petri net process algebra in software engineering [electronic resource] / Hejiao Huang ... [et al.].
by Huang, Hejiao | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : World Scientific Pub. Co., 2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Property-preserving petri net process algebra in software engineering [electronic resource] / Hejiao Huang ... [et al.].
by Huang, Hejiao | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : World Scientific Pub. Co., 2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Property-preserving petri net process algebra in software engineering [electronic resource] / Hejiao Huang ... [et al.].
by Huang, Hejiao | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : World Scientific Pub. Co., 2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Property-preserving petri net process algebra in software engineering [electronic resource] / Hejiao Huang ... [et al.].
by Huang, Hejiao | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : World Scientific Pub. Co., 2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Systems dependability assessment : benefits of petri net models / Jean-Fran�cois Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni.
by Aubry, Jean-Fran�cois [author.] | Br�inzei, Nicolae [author.] | Mazouni, Mohammed-Habib [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Hoboken, New Jersey : ISTE : Wiley, 2015Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|