[net.math] Petri-nets

dobro@ulowell.UUCP (Chet Dobro) (01/30/86)

There was a request for more information about 'simple' Petri-nets.

The best place I know is a book called "Petri Net Theory".
It is by James Peterson, and is published by Prentice Hall.

Not only does it contain a lot of information of all types of Petri Nets,
but it also has a very complete bibliography of further referances to look
up.

Hope it helps.

BTW, is there a general interest in Petri Nets out there?
I think they are great and would not mind at all more discussion on them.

Hope to hear from people.


						Gryphon

P.s.: I am assuming there does not exist a "net.petri" ?...

balcer@gypsy.UUCP (02/03/86)

Thanks for responding to my note.  I'm currently doing work (M.S. thesis
at Villanova University) in the application of Petri nets to the
specification of embedded computer systems.  In developing such a
specification methodology  I found that the nets being created usually
fell into the "simple" subclass.

Most current papers discuss the other identified subclasses:  free-choice,
finite-state, and such.  There seem to be no references to "simple" nets:
Peterson's book only states "No investigation has been done into this 
particular subclass..."

Since Peterson's book (and its bibliography) are several years old I wondered
if anyone on the net had recently been doing research in this area.

Regarding your idea for a net.petri--I think it's a great idea.  Give me
a call or send me mail.


				Marc J. Balcer
				Siemens Corporate Research and Support, Inc.
				Princeton Forrestal Center
				105 College Road East
				Princeton, New Jersey  08540

				(609) 734-6531

				ihnp4!Siemens!gypsy!balcer