|
1.
|
Hardware design and petri nets
by Yakovlev, Alex | Gomes, Luis | Lavagno, Luciano. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 621.3916 YAK] (1).
|
|
2.
|
Supervisory control of concurrent systems : a petri net structural approach
by Iordache, Marian V | Antsaklis, Panos J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Birkhauser, 2006Availability: Items available for loan: [Call number: 629.8 IOR] (1).
|
|
3.
|
Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings
by Wang, Farn. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 WAN] (1).
|
|
4.
|
Coloured petri nets : basic concepts, analysis methods and practical use. Volume 1
by Jensen, Kurt. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 511.321 JEN] (1).
|
|
5.
|
Petri Net algebra
by Devillers, Raymond | Koutny, Maciej. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004.35 BES] (1).
|
|
6.
|
Object-oriented and classical software engineering
by Schach, Stephen R. Edition: 5th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Tata McGraw-Hill, 2002Availability: Items available for loan: [Call number: 005.117 SCH] (2).
|
|
7.
|
Introduction to discrete event systems
by Cassandras, Christos G | Lafortune, Stephane. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 003.83 CAS] (1).
|
|
8.
|
Computer Networks and Systems
by Robertazzi, Thomas G. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004.6 ROB] (2).
|
|
9.
|
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
by Yoeli, Michael | Kol, Rakefet. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: Wiley-Interscience, 2008Availability: Items available for loan: [Call number: 621.381548 YOE] (1).
|
|
10.
|
Biological petri nets
by Wingender, Edgar. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: IOS Press, 2011Availability: Items available for loan: [Call number: 572.80285 WIN] (1).
|
|
11.
|
Petri nets : fundamental models, verification, and applications
by Diaz, Michel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: Wiley, 2009Availability: Items available for loan: [Call number: 511.35 DIA] (1).
|
|
12.
|
Discrete event systems in dioid algebra and conventional algebra
by Declerck, Philippe. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: Wiley-ISTE, 2013Availability: Items available for loan: [Call number: 512 DEC] (1).
|
|
13.
|
Deadlock resolution in automated manufacturing systems : a novel petri net approach
by Li, Zhi Wu | Zhou, MengChu. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2009Availability: Items available for loan: [Call number: 670.4270151135 LIZ] (1).
|
|
14.
|
Coloured Petri Nets : modelling and validation of concurrent systems
by Jensen, Kurt | Kristensen, Lars M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 005.1015115 JEN] (1).
|
|
15.
|
Modeling and Simulation of Distributed Systems
by Kostin, Alexander. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 2010Availability: Items available for loan: [Call number: 004 KOS] (2).
|
|
16.
|
Formal and natural computing : essays dedicated to Grzegorz Rozenberg
by Brauer, Wilfri. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 004 BRA] (1).
|
|
17.
|
Paradigms of concurrency : observations, behaviours and systems - a Petri net view
by Janicki, Ryszard | Kleijn, Jetty | Koutny, Maciej | Mikulski, Lukasz. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin : Springer, 2022Availability: Items available for loan: [Call number: 511.35 JAN] (1).
|