jberger@asterix.drev.dnd.ca (Jean Berger) (12/11/89)
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 |
illusion@theseas (Charalambos N. ATHANASSIOU) (12/14/89)
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)
hoyme@SRC.Honeywell.COM (Ken Hoyme) (12/30/89)
One source for timed petri-nets is the Architecture Design and Assessment System (ADAS) developed by Research Triangle Institute and now marketed by Cadre. It is far from public domain at about $35K, but does provide both analytical and simulation capability. I could post a more detailed discussion of this tool's capabilities if anyone is interested. Also, I believe a former advisor of mine is now doing research on timed petri nets. I have e-mailed him a copy of your posting so hopefully he will post a reply directly. Ken Hoyme Honeywell Systems and Research Center (612)782-7354 3660 Technology Dr., Minneapolis, MN 55418 Internet: hoyme@src.honeywell.com