Distributed Software and Systems by Petri Nets with Transition Enabling Functions

Document Number:	N1992-001
Document Type:	Conference paper
Author(s):	Y.E. Papelis T.L. Casavant
Publication / Venue Name:	TSE18:3
Publication Date:	1992-03-01
Abstract:	None listed
Body:	Access denied. Log in for access.
Copyright:	TSE
Keywords:	None listed

Publications »Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets with Transition Enabling Functions