Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!bloom-beacon!gatech!ncsuvx!ece-csc!ncrcae!hubcap!cci632!djt
From: cci632!djt@cs.rochester.edu (Don Totten)
Newsgroups: comp.parallel
Subject: Looking for Petri net 'Toolkit'
Keywords: petri net, modeling
Message-ID: <5036@hubcap.clemson.edu>
Date: 6 Apr 89 16:40:13 GMT
Sender: fpst@hubcap.clemson.edu
Lines: 14
Approved: parallel@hubcap.clemson.edu

[ Contact R. M. Geist, geist@hubcap.clemson.edu, for some more
  information.
  -- steve
]


Does anyone have any knowledge of any 'toolkits' which have automated
Petri net modeling/analysis for validating communications protocols and
modeling real-time software systems?

Thanks for any information.

Don Totten
...rochester!cci632!djt