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

Tool homepage: unknown (formerly:

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)


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


Other Remarks

[PN Home][*]
The maintainers of this page