Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!rpi!nisc.nyser.net!ncs.dnd.ca!asterix.drev.dnd.ca!jberger
From: jberger@asterix.drev.dnd.ca (Jean Berger)
Newsgroups: comp.software-eng
Subject: Petri Nets Tools ?????
Keywords: p_nut, timed PN
Message-ID: <1989Dec13.145550.29543@asterix.drev.dnd.ca>
Date: 13 Dec 89 14:55:50 GMT
Distribution: comp
Organization: DREV, Defence Research Est. Valcartier
Lines: 20

> As reserach scientist I am involved with real-time simulation systems.
> A lot of group members seem very familiar with P_NUT ( ref. desired)
> for example, but what about an automated tools for Timed PN ? I am
> interested in modeling and simulating a PN considering or not the time
> variable for condition firing, ... adding possibly new states! I would
> be very grateful if somebody familiar with PN aut. tool (timed or not)
> could give me some information on how i could get that tools (public
> domain tools included). I heard about P-NUT, SADT (Mac II) but don't
> know any pub. dom. tools now available. Basic knowledges on PN theory
> is not sufficient for analysis and performance evaluation, a case tools
> as you probably know is absolutely required. In addition I would apprecia-
> te your recommendations and commnets on the capabilities and options
> offered on such tools.
> Any information relevant to PN use would also be fully appreciated.

-- 

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