Predator

Overview

Entry last updated: 2003/5/8
Entry last validated: 2004/5/18

Tool homepage: unknown (formerly: http://www.mark.wass.com/Petrinets)

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology)

Place/Transition Nets
Stochastic Petri Nets
hierarchical Petri Nets (Subnets)

Components (see also help on terminology)

Graphical Editor
Place Invariants
Transition Invariants
Interchange File Format
Dynamic Loading of Analysis modules

Environments

Java

Tool Description

Predator was developed to provide an efficient way to design and display hierarchical Petri nets, by using the concept of Subnets. Further Predator was designed to allow users to dynamically load analysis modules. Such modules must implement a simple java interface, thus enabling users to write their own analysis modules for use with Predator. An invarieant analysis module has already been implemented. Predator supports Place Transition nets and Stochastic Petri nets.

Contact Information

Mark Wass

Phone:  
Fax:    
E-mail: mark@wass.com

Other Remarks

The maintainers of this page