Path: utzoo!utgpu!jarvis.csri.toronto.edu!clyde.concordia.ca!uunet!samsung!uakari.primate.wisc.edu!uwm.edu!srcsip!herky!hoyme
From: hoyme@SRC.Honeywell.COM (Ken Hoyme)
Newsgroups: comp.realtime
Subject: Re: Petri Net tools
Message-ID: <51860@srcsip.UUCP>
Date: 29 Dec 89 20:09:43 GMT
References: <1989Dec11.141806.15269@asterix.drev.dnd.ca>
Sender: news@src.honeywell.COM
Distribution: comp
Lines: 14
In-reply-to: jberger@asterix.drev.dnd.ca's message of 11 Dec 89 14:18:06 GMT

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