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)

High-level Petri Nets
Petri Nets with Time

Components (see also help on terminology)

Graphical Editor
Token Game Animation
Fast Simulation
Abstract Graphical Visualization

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

The maintainers of this page