Path: utzoo!attcan!uunet!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 tools
Keywords: reachability graph, performance evaluation, Timed PN
Message-ID: <1989Dec11.141806.15269@asterix.drev.dnd.ca>
Date: 11 Dec 89 14:18:06 GMT
Distribution: comp
Organization: DREV, Defence Research Est. Valcartier
Lines: 27


 As research scientist involved in real-time modeling and simulation, I am
 looking for a Petri Net tool for modeling and simulating a real-time system.
 More specifically an automated tool (PN analyzer and performance evaluation)
 provided with feature for reachability graph analysis and time aspects would
 be desirable. Even tough some tools already exist for PN analysis disregarding
 time aspects, a Timed PN tool might be extremely useful for real applications
 dealing with Hard Real-Time systems. In addition I would be very grateful if comp.realtime'fellows could tell me about the availibility of Public domain PN tools. As a first approach to PN a public domain automated tool might be suitable.
 If you know somebody dealing with Timed PN let me know, I am very concerned
 about analysis and performance evaluation for such a system using automated 
 tool( Public domain or not). Hopefully, I would be very pleased if somebody
 comes up with a public domain tool references.
								
								Jean Berger, Research Scientist, DREV
								jeanb@quebec.drev.dnd.ca

								DREV, Division Command & Contol
								Val Cartier
								P.O, Box 8800
								Courcelette,
								Canada, G0A - 1R0
								 
-- 

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