SEA

Overview

Entry last updated: 2003/5/9
Entry last validated: 2003/5/9

Tool homepage: http://www.c-lab.de/sea/

Tool availability: Free of charge

Tool Features

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

Environments

Tool Description

The SEA environment (System Engineering and Animation) consists of a Net-Editor supporting the specification of hierarchical timed Predicate/Transition-Nets and a Graphic-Editor for the definition of an abstract graphical representation of a netmodel.

The Net-Editor is also capable for an immediate simulation of a specified model that is combined with an animation of both the Petrinet-Graphic and the abstract graphical representation.

Contact Information

Carsten Rust
C-LAB
F’rstenallee 11
33094 Paderborn 
Germany

Phone:  +49 5251 60-6126
Fax:    +49 5251 60-6065
E-mail: car@c-lab.de

Other Remarks


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