[comp.software-eng] Petri Nets Tools ?????

jberger@asterix.drev.dnd.ca (Jean Berger) (12/13/89)

> 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 |