Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-41 of 41)
Petri nets.
1
E-book
2006

Advances in verification of time petri nets and timed automata : a temporal logic approach


Penczek, Wojciech.
Berlin ; New York : Springer, 2006

Rating:

 
 
2
E-book
2019

Application and theory of petri nets and concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, proceedings


International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (40th : 2019 : Aachen, Germany)
Basel : Springer Nature Switzerland AG, [2019]

Rating:

 
 
3
E-book
2020

Application and theory of petri nets and concurrency 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings


International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (41st : 2020 : Online)


Rating:

 
 
4
Location Call no. Vol. Availability
 W'PONDS  004.36 Bil/Aop  AVAILABLE
5
E-book
2014

Augmented marked graphs


Cheung, King Sing, author
Cham : Springer, 2014

Rating:

 
 
6
E-book
2011

Biological petri nets



Washington, D.C. : IOS Press, 2011

Rating:

 
 
7
E-book
2019

Carl Adam Petri : ideas, personality, impact



Cham, Switzerland : Springer, [2019]

Rating:

 
 
8
E-book
2009

Coloured petri nets : modelling and validation of concurrent systems


Jensen, K. (Kurt), 1950-
Dordrecht ; New York : Springer, [2009]

Rating:

 
 
9
E-book
2013

Control of discrete-event systems : automata and petri net perspectives



London ; New York : Springer, [2013]

Rating:

 
 
10
E-book
2005

Discrete, continuous, and hybrid Petri Nets


David, René, 1939-
Berlin ; New York : Springer, [2005]

Rating:

 
 
11
E-book
2010

Discrete, continuous, and hybrid Petri Nets


David, René, 1939-
Berlin ; London : Springer, 2010

Rating:

 
 
12
E-book
2013

Discrete Event Systems in Dioid Algebra and Conventional Algebra


Declerck, Philippe.
London : Wiley, 2013

Rating:

 
 
14
E-book
2007

Dynamic analysis of Petri net-based discrete systems


Karatkevich, Andrei.
Berlin ; New York : Springer, 2007

Rating:

 
 
15
Book
1990

The mathematics of Petri-nets


Reutenauer, Christophe.
Englewood Cliffs, N.J. : Prentice Hall International, 1990

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  511.3 Reu/Mop  AVAILABLE
16
E-book
2011

Modeling business processes : a petri net-oriented approach


Aalst, Wil van der.
Cambridge, Mass. : MIT Press, ©2011

Rating:

 
 
17
E-book
2018

Modeling discrete-event systems with GPenSIM : an introduction


Davidrajuh, Reggie, author
Cham, Switzerland : Springer, 2018

Rating:

 
 
18
E-book
2011

Modeling in systems biology : the Petri net approach



London : Springer, [2011]

Rating:

 
 
19
E-book
2007

Modelling and analysis of hybrid supervisory systems : a petri net approach


Villani, Emilia.
London : Springer, [2007]

Rating:

 
 
20
Location Call no. Vol. Availability
 W'PONDS  005.1151 Bha/Pad  AVAILABLE
21
 
22
E-book
2015

Petri net synthesis


Badouel, Eric, author
Berlin : Springer, 2015

Rating:

 
 
23
Book
1981

Petri net theory and the modeling of systems


Peterson, James Lyle.
Englewood Cliffs, N.J. : Prentice Hall, [1981]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  003 Pet  AVAILABLE
24
Book
1985

Petri nets : an introduction


Reisig, Wolfgang, 1950-
Berlin ; New York : Springer-Verlag, 1985

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  511 Rei  AVAILABLE
25
E-book
2009

Petri Nets : Fundamental Models, Verification and Applications


Diaz, Michel, 1945-
Hoboken : John Wiley & Sons, 2009

Rating:

 
 
26
27
Book
1992

A primer in Petri net design


Reisig, Wolfgang, 1950-
Berlin : Springer, 1992

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.12028 Rei/Pip  AVAILABLE
28
E-book
2017

Process algebras for Petri nets : the alphabetization of distributed systems


Gorrieri, Roberto, author
Cham, Switzerland : Springer, [2017]

Rating:

 
 
29
E-book
2012

Property-preserving petri net process algebra in software engineering



Singapore : World Scientific, [2012]

Rating:

 
 
30
E-book
2017

Robust modelling and simulation : integration of SIMIO with coloured Petri nets


Mota, Idalia Flores de la, author
Cham, Switzerland : Springer, 2017

Rating:

 
 
31
E-book
2006

Supervisory control of concurrent systems : a Petri net structural approach


Iordache, Marian Valentin.
Boston : Birkhäuser, [2006]

Rating:

 
 
32
E-book
2016

Systems dependability assessment : benefits of petri nets models


Aubry, Jean-François, author
London, UK : ISTE, Ltd. ; Hoboken, NJ : John Wiley and Sons, 2016

Rating:

 
 
33
E-book
2013

Time and petri nets


Popova-Zeugmann, Louchka.
Heidelberg : Springer, 2013

Rating:

 
 
34
Book
1994

Trace theory and signal transition graphs in circuit design


Coomber, Christopher James
Geelong, Vic. : Deakin University, School of Computing and Mathematics, 1994

Rating:

 
 
Location Call no. Vol. Availability
 ADPML SPDU  621.395 Coo/Tta  LIB USE ONLY
35
E-book
2008

Transactions on Petri Nets and Other Models of Concurrency.



Berlin : Springer-Verlag, [2008]

Rating:

 
 
36
E-book
2017

Transactions on petri nets and other models of concurrency XII



Berlin, Germany : Springer, 2017

Rating:

 
 
37
E-book
2018

Transactions on petri nets and other models of concurrency XIII



Berlin, Germany : Springer, 2018

Rating:

 
 
38
E-book
2019

Transactions on Petri Nets and Other Models of Concurrency XIV



Berlin, Germany : Springer, [2019]

Rating:

 
 
39
E-book
2013

Understanding petri nets : modeling techniques, analysis methods, case studies


Reisig, Wolfgang, 1950-
Berlin : Springer, [2013]

Rating:

 
 
40
E-book
2008

Verification of systems and circuits using LOTOS, Petri Nets, and CCS


Yoeli, Michael, 1917-
Hoboken, N.J. : Wiley-Interscience, [2008]

Rating:

 
 
Petri nets -- Computer simulation.
41
Book
1994

Deriving models of a pre-emptable process using Petri nets


Dew, Robert Alan
Geelong, Vic. : Deakin University, School of Computing and Mathematics, 1994

Rating:

 
 
Location Call no. Vol. Availability
 ADPML SPDU  004.33 Dew/Dmo  LIB USE ONLY
Add Marked to Bag Add All On Page
Locate in results