Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: Notesfiles; site gypsy.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!allegra!princeton!siemens!gypsy!balcer
From: balcer@gypsy.UUCP
Newsgroups: net.math
Subject: Re: Re: Petri-nets
Message-ID: <22000002@gypsy.UUCP>
Date: Mon, 3-Feb-86 14:20:00 EST
Article-I.D.: gypsy.22000002
Posted: Mon Feb  3 14:20:00 1986
Date-Received: Wed, 5-Feb-86 01:34:39 EST
References: <184@ulowell.UUCP>
Lines: 28
Nf-ID: #R:ulowell:-18400:gypsy:22000002:000:1010
Nf-From: gypsy!balcer    Feb  3 14:20:00 1986


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