An editor for petri nets. A petri net is a mathematical representation of a discrete distributed system. As a modeling language, it graphically depicts the structure of a distributed system as a directed bipartite graph with annotations. As such, a Petri net has place nodes, transition nodes, and directed arcs connecting places with transitions. Petri nets were invented in 1962 by Carl Adam Petri.

The rail editor allows to create rail networks with straights, curves and turnouts.

A statechart editing tool for UML-like statecharts.

A basic tree editor. Valid diagrams are rooted trees where arrows begin end end inside of the circles which represent the nodes.

This editor allows for playing the board game Ludo. For this game, several strategies were implemented.

This editor allows for playing the game Pacman. Start the game by pressing the space bar.

This editor allows playing the game Pingus. (Pingus is similar to Lemmings.)

A basic editor for non-deterministic finite state machines.

A flow chart editor. A flowchart is a schematic representation of an algorithm or a process.

A message sequence chart (or MSC) comprehends a graphical representation for the description and specification of the interactions between system components.

A Nassi-Shneiderman diagram (or NSD) is a graphical design representation for structured programming. Developed in 1972 by Isaac Nassi and Ben Shneiderman, these diagrams are also called structograms, as they show the structure of a program.

An editor for petri nets. A petri net is a mathematical representation of a discrete distributed system. As a modeling language, it graphically depicts the structure of a distributed system as a directed bipartite graph with annotations. As such, a Petri net has place nodes, transition nodes, and directed arcs connecting places with transitions. Petri nets were invented in 1962 by Carl Adam Petri.

A statechart editing tool for UML-like statecharts.

An exemplary editor for creating graphical representations of standpoints and supporting resp. refuting arguments. The arguments can be related to each other as well.

A UML class diagram editor providing XMI output and semantic focus-and-context-visualization. The editor concept is described in some detail in the GT-VMT'01 paper. More detailed information can be found in Oliver Köth's diploma thesis (german).

A tree editor which is equipped with a custom programmed layout manager. Valid diagrams are rooted trees where arrows begin end end inside of the circles which represent the nodes.

A tree editor which comes with automatic, constraint-based layout if the intelligent mode is switched on. Valid diagrams are rooted trees where arrows begin end end inside of the circles which represent the nodes.

A very basic editor to model AND gates and connections between them.

A flow chart editor. Its concept is described in some detail in a paper that appeared in the Journal on Science of Computer Programming.

Ladder diagrams are a visual language for programming programmable logic controllers (PLCs) as it has been specified in IEC 1131. The editor concept is described in some detail in the AGTIVE'99 paper.

A message sequence chart (or MSC) comprehends a graphical representation for the description and specification of the interactions between system components.

A Nassi-Shneiderman diagram (or NSD) is a graphical design representation for structured programming. Developed in 1972 by Isaac Nassi and Ben Shneiderman, these diagrams are also called structograms, as they show the structure of a program.

The rail editor allows to create rail networks with straights, curves and turnouts. An animated train can then use the rails, if these have no loose ends.

Sequential function chart (or SFC) is a graphical programming language used for PLCs (Programmable Logic Controller). It is one of the five languages defined by IEC 61131-3 standard. Its main components are: steps with associated actions, transitions with associated logic conditions, and directed links between steps and transitions.

The SIPN-Editor is a prototypical tool for editing, visualizing, animating, analyzing, and translating Signal Interpreted Petri Nets. The editor allows for easily editing SIPNs in a direct manipulation manner. The primary purpose of the tool is to be used as a programming tool for PLC programmers. More information about SIPN can be found here. You can also try an online version of this editor.

A statechart editing and simulation tool. Its concept is described in some detail in the Unigra'01 paper. The tool is also available as an applet.

An editor for creating syntax diagrams.

A VEX editor. VEX is a visual lambda-calculus presented by Wayne Citrin, Richard Hall, and Benjamin Zorn at VL'95. The editor concept is described in some detail in an early version of the AGTIVE'99 paper.