[comp.graphics] Formal Description, CMU Tech. Rep wanted.

jallende@turia.dit.upm.es (03/05/91)

Hi,

	I'm looking for some information. Any pointers will be
	greatly appreciated.

	1.- Is there any reference I could look for formal descriptions of
	    grafical representations, like Petri nets, Module
	    interconnection language, Data flow diagram, Entity
	    Relationship diagram, etc..?


	2.- Does somebody know how to get a copy of a technical
	    report from Carnegie Mellon? I'm looking for:

	    Authors:    A. N. Habermann, C. Krueger, B. Pierce, ...
	    Title:      "Programming with views"
	    Tech. Rep.: CMU-CS-87-177  Jan 1988.

	Thanks in advance for your help.
	

	jallende@dit.upm.es

moreton@fezzik.Berkeley.EDU (Henry Moreton) (03/06/91)

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