Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 219 results
Petri net theory and the modeling of systems / James L. Peterson.
- Text
- Englewood Cliffs, N.J. : Prentice-Hall, c1981.
- 1981
- 1 Item
Item details Format Call Number Item Location Text JSE 81-1047 Offsite Application and theory of Petri nets : selected papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, 23-26 September 1980, Bad Honnef, 28-30 September 1981 / edited by Claude Girault and Woflgang Reisig.
- Text
- Berlin ; New York : Springer-Verlag, 1982.
- 1982
- 1 Item
Item details Format Call Number Item Location Text JSE 82-386 Offsite Applications and theory of Petri nets : selected papers from the 3rd European Workshop on Application and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982 / edited by Anastasia Pagnoni and Grzegorz Rozenberg.
- Text
- Berlin ; New York : Springer-Verlag, 1983.
- 1983
- 1 Item
Item details Format Call Number Item Location Text JSE 83-617 Offsite Advances in Petri nets 1984 / edited by G. Rozenberg ; with the cooperation of H. Genrich and G. Roucairol.
- Text
- Berlin ; New York : Springer-Verlag, c1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text JSE 85-1078 Offsite International Workshop on Timed Petri Nets, Torino, Italy, July 1-3, 1985.
- Text
- Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, c1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text JSF 86-595 Offsite Advances in Petri nets 1985 / edited by G. Rozenberg.
- Text
- Berlin ; New York : Springer-Verlag, c1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text JSE 86-1545 Offsite Petri nets : an introduction / Wolfgang Reisig.
- Text
- Berlin ; New York : Springer-Verlag, c1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text JSE 86-2031 Offsite Diophantische Systeme und Lösungsmethoden zur Bestimmung aller Invarianten in Petri-Netzen / Karl-Heinz Pascoletti.
- Text
- München : R. Oldenbourg, 1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text JSE 87-2798 Offsite Building structured Petri nets / Ursula Goltz.
- Text
- Sankt Augustin : Gesellschaft für Mathematik und Datenverarbeitung, c1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text JSG 90-12 Offsite Das Verhalten verteilter Systeme / Wolfgang Reisig.
- Text
- München : R. Oldenbourg, 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSE 90-471 Offsite Advances in Petri nets, 1989 / Grzegorz Rozenberg (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSE 90-1376 Offsite Nonsequential processes : a Petri net view / Eike Best, César Fernández C.
- Text
- Berlin ; New York : Springer-Verlag, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 88-3253 Offsite Advances in Petri nets, 1988 / Grzegorz Rozenberg (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 88-790 Offsite Advances in Petri nets, 1990 / Grzegorz Rozenberg (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 91-448 Offsite Advances in Petri Nets, 1991 / G. Rozenberg (Ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 91-942 Offsite Application and theory of Petri nets 1992 : 13th international conference, Sheffield, UK, June 22-26 1992 : proceedings / K. Jensen (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSF 92-693 Offsite Modular construction and partial order semantics of Petri nets / W. Vogler.
- Text
- Berlin ; New York : Springer-Verlag, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSF 92-796 Offsite Advances in Petri Nets, 1992 / G. Rozenberg (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSF 92-710 Offsite High-level Petri nets : theory and application / K. Jensen, G. Rozenberg (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 93-59 Offsite Petri net synthesis for discrete event control of manufacturing systems / by MengChu Zhou, Frank DiCesare.
- Text
- Boston : Kluwer Academic, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 93-574 Offsite Verifying temporal properties of systems / Julian Charles Bradfield.
- Text
- Boston : Birkhäuser, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSE 93-888 Offsite Advances in Petri Nets, 1993 / Grzegorz Rozenberg (ed.).
- Text
- Berlin ; New York : Springer, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 93-1167 Offsite Application and theory of Petri nets 1993 : 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993 : proceedings / Marco Ajmone Marson (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1992.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 93-1212 Offsite Coloured Petri nets : basic concepts, analysis methods, and practical use / Kurt Jensen.
- Text
- Berlin ; New York : Springer-Verlag, c1992-
- 1992-present
- 3 Items
Item details Format Call Number Item Location Text JSK 92-52 v. 1 Offsite Item details Format Call Number Item Location Text JSK 92-52 v. 2 Offsite Item details Format Call Number Item Location Text JSK 92-52 v. 3 Offsite Applications of petri nets in manufacturing systems : modeling, control, and performance analysis / Alan A. Desrochers, Robert Y. Al-Jaar.
- Text
- New York : IEEE Press, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 94-2004 Offsite Performance evaluation of parallel and distributed systems : solution methods : proceedings of the third QMIPS workshop / O.J. Boxma, G.M. Koole (eds.).
- Text
- Amsterdam, Netherlands : Centrum voor Wiskunde en Informatica, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSF 96-603 v. 1-2 Offsite Decomposition and protocols in high-level Petri nets / door Paul Michel Peter Rambags.
- Text
- Eindhoven, The Netherlands : P.M.P. Rambags, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 95-852 Offsite Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen / M. Leszak, H. Eggert.
- Text
- Berlin ; New York : Springer, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JSE 95-558 Offsite Finite representations of CCS and TCSP programs by automata and Petri nets / Dirk Taubner.
- Text
- Berlin ; New York : Springer-Verlag, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JSF 95-381 Offsite Application and theory of Petri nets, 1995 : 16th International Conference, Turin, Italy, June 26-30, 1995 : proceedings / Giorgio De Michelis, Michel Diaz (eds.).
- Text
- Berlin ; New York : Springer, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 95-1434 Offsite Petri nets in flexible and agile automation / edited by MengChu Zhou.
- Text
- Boston : Kluwer Academic Publishers, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 95-1315 Offsite Modellierung und Leistungsanalyse paralleler Systeme mit dem PRM-Netz-Modell / Alois Ferscha.
- Text
- Wien : Oldenbourg, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSD 95-189 Offsite Free choice Petri nets / Jörg Desel, Javier Esparza.
- Text
- Cambridge ; New York : Cambridge University Press, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSF 96-205 Offsite Intelligent task planning using fuzzy Petri nets / Tiehua Cao, Arthur C. Sanderson.
- Text
- Singapore ; River Edge, N.J. : World Scientific, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSD 96-176 Offsite Petri nets : a tool for design and management of manufacturing systems / Jean-Marie Proth and Xiaolan Xie.
- Text
- Chichester ; New York : Wiley, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSF 97-327 Offsite Application and theory of Petri nets 1997 : 18th international conference, ICATPN'97, Toulouse, France, June 23-27, 1997 : proceedings / Pierre Azéma, Gianfranco Balbo (eds.).
- Text
- Berlin ; New York : Springer, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text JSE 97-877 Offsite Application and theory of petri nets 1998 : 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998 : proceedings / Jörg Desel, Manuel Silva, (eds).
- Text
- Berlin ; New York : Springer, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSE 98-1035 Offsite Supervisory control of discrete event systems using Petri nets / by John O. Moody, Panos J. Antsaklis.
- Text
- Boston : Kluwer Academic Publishers, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSE 98-1339 Offsite Timed Petri nets : theory and application / by Jiacun Wang.
- Text
- Boston : Kluwer Academic Publishers, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSE 99-309 Offsite Lectures on Petri nets : advances in Petri nets / Wolfgang Reisig, Grzegorz Rozenberg (eds.).
- Text
- Berlin ; New York : Springer, c1998.
- 1998
- 2 Items
Item details Format Call Number Item Location Text JSE 99-376 v. 1 Offsite Item details Format Call Number Item Location Text JSE 99-376 v. 2 Offsite Modeling, simulation, and control of flexible manufacturing systems : a Petri net approach / MengChu Zhou, Kurapati Venkatesh.
- Text
- Singapore ; River Edge, N.J. ; London : World Scientific, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSD 99-98 Offsite Application of Petri nets to communication networks : advances in Petri nets / Jonathan Billington, Michel Diaz, Grzegorz Rozenberg (eds.).
- Text
- Berlin ; New York : Springer, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 99-1148 Offsite Application and theory of petri nets 1999 : 20th International Conference, ICATPN'99 Williamsburg, Virginia, USA, June 21-25, 1999 : proceedings / Susanna Donatelli, Jetty Kleijn (eds.)
- Text
- Berlin ; New York : Springer, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 99-1745 Offsite Performance analysis of com[m]unication systems : modeling with non-Markovian stochastic Petri nets / Reinhard German.
- Text
- Chichester, England ; New York : Wiley, c2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text JSE 00-1723 Offsite Application and theory of petri nets 2000 : 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 ; proceedings / Mogens Nielsen, Dan Simpson, eds.
- Text
- Berlin ; London : Springer, c2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text JSE 00-1667 Offsite Petri net algebra / Eike Best, Raymond Devillers, Maciej Koutny.
- Text
- Berlin ; New York : Springer, c2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSE 01-575 Offsite Concurrent object-oriented programming and Petri Nets : advances in Petri Nets / Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.).
- Text
- Berlin ; New York : Springer, c2001.
- 2001
- 1 Item
Available Online
http://link.springer-ny.com/link/service/series/0558/tocs/t2001.htmItem details Format Call Number Item Location Text JSE 01-873 Offsite Simulator for concurrent processing data flow architectures [microform] / Mahyar R. Malekpour, John W. Stoughton, and Roland R. Mielke.
- Text
- Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va.? : National Technical Information Service [distributor], 1992]
- 1992
Petri net controllers for distributed robotic systems [microform] / by D.R. Lefebvre and George N. Saridis.
- Text
- Troy, N.Y. : Center for Intelligent Robotic Systems for Space Exploration, Rensselaer Polytechnic Institute, Electrical, Computer, and Systems Engineering Dept. ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1992]
- 1992
Simulator for heterogeneous dataflow architectures [microform] / Mahyar R. Malekpour.
- Text
- Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service [distributor], 1992]
- 1993
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
