Path: utzoo!news-server.csri.toronto.edu!cs.utexas.edu!uwm.edu!bionet!agate!fezzik.Berkeley.EDU!moreton
From: moreton@fezzik.Berkeley.EDU (Henry Moreton)
Newsgroups: comp.graphics
Subject: Re: Formal Description, CMU Tech. Rep wanted.
Message-ID: <1991Mar5.185520.1397@agate.berkeley.edu>
Date: 5 Mar 91 18:55:20 GMT
References: <1991Mar05.094022.26040@dit.upm.es>
Sender: usenet@agate.berkeley.edu (USENET Administrator)
Reply-To: moreton@fezzik.Berkeley.EDU (Henry Moreton)
Organization: University of California, Berkeley
Lines: 23

Here are three references to petri nets:
1) 
	Casting Petri Nets into Programs
	R.A. Nelson, et al.
	IEEE Transactions on Software Engineering
	Sept. 1983, pp. 590-602
2)
	Petri Nets
	J.L. Peterson
	Computing Surveys
	Sept. 1977, v. 9 pp. 223-252
3)
	Petri Net Theory and the Modeling of Systems
	J.L. Peterson
	Prentice-Hall, 1981
	    
--
Henry P. Moreton
CS Division, Dept. of EECS	Silicon Graphics                
University of California	2011 N. Shoreline Blvd          
Berkeley, CA   94720		Mountain View, CA 94043-7311    
moreton@fezzik.berkeley.edu	moreton@sgi.com
(415)642-3631			(415)960-1980