Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!wuarchive!brutus.cs.uiuc.edu!caesar.cs.montana.edu!uakari.primate.wisc.edu!aplcen!uunet!mcsun!ariadne!theseas!illusion
From: illusion@theseas (Charalambos N. ATHANASSIOU)
Newsgroups: comp.realtime
Subject: Re: Petri Net tools
Keywords: reachability graph, performance evaluation, Timed PN
Message-ID: <731@theseas>
Date: 13 Dec 89 16:02:34 GMT
References: <1989Dec11.141806.15269@asterix.drev.dnd.ca>
Distribution: comp
Organization: National Technical University of Athens
Lines: 39

I am *very* interested in references anb tools for Timed Petri Nets,
and reachability graph generation, as well as deadlock/conflict
detection.

					Many Thanks in advance,
-- 
Charalambos N. ATHANASSIOU	E-mail:                                     
c/o Prof. Spyros G. Tzafestas   UUCP: mcvax!ariadne!theseas!illusion        
Nat. Techn. Univ. of Athens     InterNet: illusion%theseas.uucp@uunet.UU.NET
Dept. of Electrical Eng.        COM.BOX: NTUA
Div. of Computer Science	Fax: 0030/1/7757504
Intelligent Robotics &
 Control Unit (IRCU)





















-- 
Charalambos N. ATHANASSIOU	E-mail:                                     
c/o Prof. Spyros Tzafestas      UUCP: mcvax!ariadne!theseas!illusion        
Intelligent Robotics &		InterNet: illusion%theseas.uucp@uunet.UU.NET
 Control Unit (IRCU)