From: jim@gerrsoft.demon.co.uk (Petri Nets, James Borggren)
To: petrinet@informatik.uni-hamburg.de
Date: Fri Jun 9 16:53:13 MET DST 1995
Subject: List of Petri-Nets General Refernces
Dear Fellow Petri-Netters,
To date I have received 31 requests for the compilation of general petri-net
refernce works which I put together. Since there has been such a high
response, I decided to do the simple thing and send my resluts to the entire
mailing list. I sincerely appoligize to any of you who didn't want me to 'waste
your band width' with this, but even the most expereinced petri-net experts
may find a refernce that they didn't know existed.
Following is a complation of the replies I received to my request for a general
reference on petri-nets. These are in no particular order.
******The first item on list was received today, so the five people who have
allready received this compilation do not have this reply.******
Note: J. L. Peterson's 'Petri-Net Theory and the Modelling of Systems' seems
to be out of print :-( If anyone contests this point and could direct me to a
source for this book I would be very appreciative :-)
------------------------------------------------------------------
>maybe it is not too late for pointing at your attention a survey work that I
>quite recently did in cooperation with Luca Bernardinello in the framework
>of the project DEMON (the first ESPRIT project which involved a significant
>number of sites of the european Petri net community).
>
>Fiorella De Cindio and Luca Bernardinello
>A survey of basic net models and modular net classes
>in G. Rozenberg (ed.), Advances in Petri Nets 1992,
>LNCS 609, Springer-Verlag, 1992
>
>
>The first part of the work is devoted to the overview of the basic Petri
>Net models (E/N, C/E, P/T and 1-safe systems). After using it in my
>lectures since a couple of year, I believe it can be useful to understand
>the differences among these different models, a matter which is often
>difficult to answer for those who are beginners with nets.
-----------------------------------------------------------
>There will be a book published soon by John Wiley about
>"Modelling with Generalized Stochastic Petri Nets".
>It is an introductory text by Ajmone-Balbo-Conte-Franceschinis
>and myself,
>
>Susanna Donatelli (susi@di.unito.it)
-------------------------------------------------------------
>if you are interested in first introduction to petri nets, I would
>recommend one of the following books:
>
>Petri Nets by Wolfgang Reisig,
>EATCS Monographs on theoretical Computer Science, Springer Verlag 1985,
NY
>(discussion of theory and application of condition-event, place-transition
>and predicate-transition systems from the basis)
>
>Petri net theory and the modelling of systems by J. L. Peterson
>Prentice Hall Inc. 1981, Englewood Cliffs NJ
>(more modeling oriented, but I have not read it yet)
>
>Also, there is an article
>Petri Nets: Properties, Analysis and Applications by Tadao Murata
>in Proceedings of IEEE, Vol. 77, No. 4, April 1989, pp. 541 - 580
>which shows the basics of petri nets and some problems. A lot of
>literature is given and it is ordered to special topics of petri nets.
>
>Peter Ziegler email:ziegler@informatik.uni-karlsruhe.de
>University of Karlsruhe phone:(++49)(+721) 608 4258 (german or
english)
>Institute for Computer Design FAX: (++49)(+721) 370 455
>and Fault Tolerance
>76128 Karlsruhe
>Germany
----------------------------------------------------
> For starters on PN theory I recommend reading Tadao Murata's paper
>in the proceedings of the IEEE (april 89 Issue) and the book
>by Peterson (PN Theory and Modeling of Systems) published by
>Prentice Hall. More recent books include:
>
>1. Rene David and H. Alla "Petri nets and Grafcet" - Prentice Hall
>
>2. A. A. Desrochers and R. Y Al-Jarr, "Application of PNs in Manufacturing
> Systems", IEEE Press
>
>3. MengChu Zhou and F. DiCesare, "Petri Net Synthesis for Discrete
> Event Control of Manufacturing Systems", Kluwer Academic Press.
>
>If you need more information let me know.
>
>--Srini Ramaswamy (srini@cadlips.ece.utexas.edu)
-----------------------------------------------------------------
>I'm sure you get at least another hundred people sending you this
>(classical) reference:
>
>@Book{Peterson81,
> author = "J. L. Peterson",
> title = "Petri Net Theory and The Modeling of Systems",
> publisher = "Prentice-Hall",
> year = 1981
>}
>
>It's an easy to read introduction to Petri nets but it still has
>the theory and algorithms if one is interested. The only problem
>I see with the book is that the notation it uses is not quite the
>same as what is used in the literature today. But that is a minor
>point.
>
>-- Henrik Hulgaard (henrik@cs.washington.edu)
>
>-- Department of Computer Science and Engineering
>-- University of Washington, Box 352350
>-- Seattle, WA 98195-2350
----------------------------------------------------------
>I have quite a lot of literature on Petri net theory since I am doing
>research work in that field. A few introductory books/papers are:
>
>Petri nets & Grafcet: Tools for modelling discrete event systems
>R.David & Alla.H - Prentice-Hall - ISBN 0-13-327537-X (1992)
>
>Murata T.,"Petri Nets : Properties, Analysis and Applications",Proceedings
>of the IEEE,vol. 77,no.4,1989.
>
>Zhou MC.,DiCesare F.,"Petri net Synthesis fo Discrete Event Control of
>Manufacturing Systems",Kluwer Academic Publishers,0-7923-9289-2,1993.
>
>Zurawski R.,Zhou MC.,"Petri Nets and Industrial Applications: A
>Tutorial",IEEE Transactions on Industrial Electronics,Vol. 41,No.
>6,December 1994.
>
>
>Daniel Azzopardi e-mail: D.Azzopardi@aston.ac.uk
>Dept. EE&AP tel: +44 (0)121 359 3611 x5275
>Aston University fax: +44 (0)121 359 0156
>Aston Triangle
>Birmingham B4 7ET
-------------------------------------------------------------
>The best petri net intro I have found is:
>An introduction to petri net modelling, by Peterson.
>Hope this helps
>Ian (udee782@kcl.ac.uk)
--------------------------------------------------
>The best reference for Petri
>Nets I am aware of is the book
>of James L. Peterson: "Petri Net
>Theory and the Modeling of Systems".
>
>Regards
>Ulla Bangsgaard
>
>Address:
>Aalborg University
>Department of Production
>Fibigerstr. 16
>DK-9220 Aalborg East
>Denmark
>Telephone: +45 98 15 42 11 direct 2957
>Fax: +45 98 15 30 30
>e-mail: i9ur@iprod.auc.dk
---------------------------------------------------------
>I suggest:
>
>T. Murata, "Petri Nets: Properties, Analysis and Applications," Proceedings
>of the IEEE, Vol.77, No.4 pp.541-580, April, 1989, an invited survey paper
>received the 1991 IEEE Fink award.
>
>Tadoa Murata (murata@eecs.uic.edu)
------------------------------------------------------------------
>The best book I have found that is gentle but thorough is one
>by J.L Peterson called Petri Nets: Modelling and Applications.
>Paddy Nixon (P.Nixon@doc.mmu.ac.uk)
-----------------------------------------------------------
>The best introductory article is by Tadao Murata in the April 1989 issue
>of Proc. IEEE, vol. 77, no. 4.
>
>R. F. Vidale
>Boston University
>(RFV@enga.bu.edu)
----------------------------------------------------------------
>It could be :
>
>"Petri Nets ; An introduction "
>
>autor : Wolfgang Reisig
>
>editors :W. Brauer, G. Rozenberg, A. Salomaa
>
>distributed by : Springer Verlag 1985
>
>In collection : EATCS Momographs on Theoretical Computer Science, vol 4
>
>ISBN : 0-387-13723-8 (U.S)
>Nathalie Berge' |
>LAAS-CNRS, group OLC |
>7 avenue du Colonel Roche | tel : 61 33 62 42
>31077 TOULOUSE Cedex | e-mail : berge@laas.fr
-------------------------------------------------------------------
>Please find enclosed some Petri nets book references as requested.
>1- Petri nets & Grafcet "tools for modelling discrete event systems"
> By: Rene' David and Hassane Alla, 1992, Prentice Hall.
>
>2- Applications of Petri Nets in Manufacturing Systems
> By: Alan A. Desrochers and Robert Y. Al-Jaar, 1995, IEEE Press.
>
>I hope they help you.
>
>Cheers
>Moheb
>
>Moheb Hanna
>University of Wales, College of Cardiff
>ELSYM Dept, Newport Rd, P.O Box 917
>Cardiff CF2 1XH
>Tel: 01222-874000/5937
>Fax: 01222-874420
--------------------------------------------------------------------------------
>I would suggest the following texts to you.
>
> \item
>K. Jensen, ``Coloured Petri Nets - Basic Concepts, Analysis Methods and
>Practical Use'', Volume 1, Basic Concepts,
>Springer Verlag, Berlin; 1992.
>
> \item
>W. Reisig, ``A Primer in Petri Net Design'',
>Steven S. Muchnick, Peter Schnupp (Eds.),
>Springer Verlag, Berlin; 1992.
>
> \item
>W. Reisig, ``Petri Nets, An Introduction''
>EATCS, Monographs on Theoretical Computer Science,
>W. Brauer, G. Rozenberg, A. Salomaa (Eds.),
>Springer Verlag, Berlin; 1985.
>
> \item
>J.L. Peterson, ``Petri Net Theory and the Modeling of Systems'',
>Prentice-Hall, NJ USA; 1981.
>
>The first is an excellent recent book on Coloured Petri Nets which
>also includes a very useful introduction to simple Petri nets
>(Place Transition nets) as well, although many people follow
>the notation of Reisig's '85 book for Place Transition nets. However
>the latter book is rather dry so you may wish to refer to the other
>two books for some easier reading. Peterson's book covers an introduction
>to a lot of the basic net properties, but most of these are dealt with
>by Jensen's book for CPNs in a more up to date fashion.
>
>
>Dr Ken Parker Tel: +61-3-253 6380
>Telstra Research Laboratories Fax: +61-3-253 6144
>770 Blackburn Rd
>Clayton VIC 3168, AUSTRALIA Email: k.parker@trl.oz.au
-------------------------------------------------------------------------------
>You may find the following books helpfull:
>
>
>K. JENSEN: COLOURED PETRI NETS. VOL.1: BASIC CONCEPTS
>ISBN: 3-540-55597-8
>K. JENSEN: COLOURED PETRI NETS. VOL.2: ANALYSIS METHODS
>ISBN: 3-540-58276-2
>
>Preface
>
>This book presents a coherent description of the theoretical and practical
>aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have
>been developed - from being a promising theoretical model to being a
>full-fledged language for the design, specification, simulation, validation
>and implementation of large software systems (and other systems in which
>human beings and/or computers communicate by means of some more or less
>formal rules). The book contains the formal definition of CP-nets and the
>mathematical theory behind their analysis methods. However, it has been the
>intention to write the book in such a way that it also becomes attractive
>to readers who are more interested in applications than the underlying
>mathematics. This means that a large part of the book is written in a style
>which is closer to an engineering textbook (or a users' manual) than it is
>to a typical textbook in theoretical computer science. The book consists of
>three separate volumes.
>
>The first volume defines the net model (i.e., hierarchical CP-nets) and the
>basic concepts (e.g., the different behavioural properties such as
>deadlocks, fairness and home markings)
>
>The second volume contains a detailed presentation of the theory behind the
>formal analysis methods - in particular occurrence graphs with equivalence
>classes and place/transition invariants.
>
>The third volume contains a detailed description of a selection of
>industrial applications.
>
>Together the three volumes present the theory behind CP-nets, the
>supporting CPN tools and some of the practical experiences with CP-nets and
>the tools. In our opinion it is extremely important that these three
>research areas have been developed simultaneously. The three areas
>influence each other and none of them could be adequately developed
without
>the other two. As an example, we think it would have been totally
>impossible to develop the hierarchy concepts of CP-nets without
>simultaneously having a solid background in the theory of CP-nets, a good
>idea for a tool to support the hierarchy concepts, and a thorough knowledge
>of the typical application areas.
>
>Books from Springer-Verlag can be bought in book shops or ordered directly
>from Springer Verlag:
>
>Springer Verlag
>P.O.Box 503
>1970 AM IJmuiden
>The Netherlands
>
>E-mail : orders@spinger.de
>Fax: +49 30 820 7301 or 448
> Kurt Jensen Direct Phone: +45 8942 3234
> Computer Science Department Secretary: +45 8942 3188
> Aarhus University Home Phone: +45 8611 4216
> Ny Munkegade, Bldg. 540 E-mail: kjensen@daimi.aau.dk
> DK-8000 Aarhus C Telefax: +45 8942 3255
> Denmark URL: http://www.daimi.aau.dk/~kjensen
-------------------------------------------------------------------------------
Looking back into the list, I see that I and the rest of the people in
the mailing list that have mailed you have forgotten one more important
book.
This is a very recent book - by Al Jarr and Desrochers - Application of PNs
in Manufacturing Systems - by IEEE Press.
--Srini.
------End Of List------