Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!samsung!brutus.cs.uiuc.edu!rpi!nisc.nyser.net!ncs.dnd.ca!asterix.drev.dnd.ca!jberger
From: jberger@asterix.drev.dnd.ca (Jean Berger)
Newsgroups: comp.realtime
Subject: Petri Net ???
Keywords: reachability, performance
Message-ID: <1989Dec13.141117.29070@asterix.drev.dnd.ca>
Date: 13 Dec 89 14:11:17 GMT
Distribution: comp
Organization: DREV, Defence Research Est. Valcartier
Lines: 12

> As research scientist dealing with the modeling of real-time system      
> I am looking for an automated tool for Petri Net analysis and perfor-
> mance evaluation. More specifically I am interested in Timed Petri Net
> tool (Hard Real-Time System)
> I would be very grateful  if somebody familiar with PN modeling could
> teel me if Timed PN tool exist (Public domain or not). As a first
> experience with such a tool a public domain one might be  more appropriate
> to explore the different possibilities and limitations.
-- 

+---------------------------+-------------------------------------------------+
| Jean Berger                 |DREV, Defence Research Establishment,Valcartier |
| jberger@asterix.drev.dnd.ca |POBox 8800, Courcelette,Quebec, CANADA, G0A 1R0 |