Petri Nets Tool Form

Database Entry:

  Submitter: 

Overview:

  Tool name: 
  Tool WWW:  
  Availability:  Free of Charge
                 Commercial
                 Commercial (discounts for academic institutions)
                 Commercial (free for academic institutions)

Tool Features:

  Petri Nets Supported: (select multiple) -> help on terminology

             Object-oriented PNsHigh-level Petri NetsPlace/Transition NetsStochastic Petri NetsPetri Nets with Time
      Other:  *) See note at bottom of page

  Tool Components: (select multiple) -> help on terminology

             Graphical EditorToken Game AnimationFast SimulationState SpacesCondensed State SpacesPlace InvariantsTransition InvariantsNet ReductionsStructural AnalysisSimple Performance AnalysisAdvanced Performance AnalysisInterchange File FormatRapid PrototypingWorkflow Management System
      Other:  *) See note at bottom of page

Environments: (select multiple)

             Sun, SunOSHP, HP-UXSilicon Graphics, IRIXPC, LinuxPC, MS DOSPC, OS/2PC, MS Windows 95PC, MS Windows 98PC, MS Windows NTPC, MS Windows 2000PC, MS Windows XPMacintosh, Mac OSMacintosh, Mac OS XJava
      Other:   *) See note at bottom of page

Tool Description:

             Provide an overview of your tool. Make the description such
that it becomes as time stable as possible, i.e., avoid
information such as version number, price, future plans,
etc.

Please keep the description to at most 15 lines (approx.
200 words).

(HTML tags are accepted.)

Contact Information:

  Address:
             Name
Company/Institution
Street
City/State/Postal code
Country
  Phone:     
  Fax:       
  E-mail:    

Other Remarks:

             Information that does not otherwise fit into the form above.

Please keep the remarks to at most 15 lines (approx. 200
words).

(HTML tags are accepted.)