Modelling and analysis of hybrid supervisory systems : a petri net approach /Author: Villani, Emilia.
Publisher: London : Springer,
Date: c2007. This title can be found in 2 Iowa libraries.
Petri nets and other models of concurrency : ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 : proceedings /Publisher: New York : New York : Springer,
Date: c2006. This title can be found in 1 Iowa libraries.
Supervisory control of concurrent systems : a Petri net structural approach /Author: Iordache, Marian Valentin.
Publisher: Boston : Birkhäuser,
Date: c2006. This title can be found in 1 Iowa libraries.
Parallel and distributed logic programming : towards the design of a framework for the next generation database machines /Author: Bhattacharya, Alakananda.
Publisher: Berlin : Springer-Verlag,
Date: c2006. This title can be found in 1 Iowa libraries.
Advances in verification of time petri nets and timed automata : a temporal logic approach /Author: Penczek, Wojciech.
Publisher: New York : New York : Springer,
Date: 2006. This title can be found in 1 Iowa libraries.
Petri nets and other models of concurrency ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: 2006. This title can be found in 1 Iowa libraries.
Cognitive engineering : a distributed approach to machine intelligence /Author: Konar, Amit.
Publisher: London : Springer,
Date: c2005. This title can be found in 1 Iowa libraries.
Applications and theory of Petri nets 2005 26th international conference, ICATPN 2005, Miami, USA, June 20-25, 2005 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: 2005. This title can be found in 1 Iowa libraries.
Applications and theory of Petri nets 2005 : 26th international conference, ICATPN 2005, Miami, USA, June 20-25, 2005 : proceedings /Publisher: New York : New York : Springer,
Date: c2005. This title can be found in 1 Iowa libraries.
Applications and theory of Petri nets 2004 : 25th international conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004 : proceedings /Publisher: New York : New York : Springer,
Date: c2004. This title can be found in 1 Iowa libraries.
Lectures on concurrency and Petri nets : advances in Petri nets /Publisher: New York : New York : Springer,
Date: c2004. This title can be found in 2 Iowa libraries.
Petri nets for systems engineering : a guide to modeling, verification, and applications /Author: Girault, Claude.
Publisher: New York : New York : Springer,
Date: c2003. This title can be found in 2 Iowa libraries.
Applications and theory of Petri Nets 2003 : 24th international conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003 : proceedings /Publisher: New York : New York : Springer,
Date: c2003. This title can be found in 1 Iowa libraries.
Petri net technology for communication-based systems : advances in Petri nets /Publisher: New York : New York : Springer,
Date: c2003. This title can be found in 2 Iowa libraries.
Stochastic Petri nets : modelling, stability, simulation /Author: Haas, Peter J.
Publisher: New York : Springer,
Date: c2002. This title can be found in 3 Iowa libraries.
Application and theory of Petri nets 2002 : 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings /Publisher: New York : New York : Springer,
Date: c2002. This title can be found in 1 Iowa libraries.
Stochastic Petri nets : an introduction to the theory /Author: Bause, Falko.
Publisher: Wiesbaden : Vieweg,
Date: c2002. This title can be found in 1 Iowa libraries.
Formal and natural computing : essays dedicated to Grzegorz Rozenberg /Publisher: Berlin ; Springer,
Date: c2002. This title can be found in 2 Iowa libraries.
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.