jberger@asterix.drev.dnd.ca (Jean Berger) (12/13/89)
> As research scientist dealing with the modeling of real-time system > I am looking for an automated tool for Petri Net analysis and perfor- > mance evaluation. More specifically I am interested in Timed Petri Net > tool (Hard Real-Time System) > I would be very grateful if somebody familiar with PN modeling could > teel me if Timed PN tool exist (Public domain or not). As a first > experience with such a tool a public domain one might be more appropriate > to explore the different possibilities and limitations. -- +---------------------------+-------------------------------------------------+ | Jean Berger |DREV, Defence Research Establishment,Valcartier | | jberger@asterix.drev.dnd.ca |POBox 8800, Courcelette,Quebec, CANADA, G0A 1R0 |