MOBY
MOBY is an object-oriented Petri Net Analysis Tool based on Smalltalk 80.
- Environment:
- MS-DOS, Unix, OS2, Macintosh (Smalltalk 80 required)
- Origin:
- Dep. of Computer Science, University of Oldenburg, Germany
- Kind of Nets supported:
- Condition/Event, Place/Transition and Object Nets (hierarchical timed high level nets with objects as tokens, incl. arc types)
- Functionalities:
- Graphical EDITOR
- Single-Step and Automatic SIMULATOR
- ANALYSIS of the following structural properties: liveness, safeness, reachabiliy, coverability and invariants
- Availability:
-
- References:
- H. Fleischhack, U. Lichtblau: MOBY - A tool for high-level Petri Nets with objects [fl93]
- Tool description at DAIMI
