GRAF
GRAF is a general and integrated environment for editing and simulating hierarchical Petri Nets.
- Environment:
- MS-DOS
- Origin:
- Pedagogical University, Computer Science Laboratory, Rzeszów, Poland
- Kind of Nets supported:
- Place/Transition Nets with inhibitor arcs and priorities
- Functionalities:
- Graphical EDITOR for interactive net creation and manipulation
- Interactive/automatic SIMULATION
- Structural ANALYSIS based on syntax checks
- Hierarchical features
- Availability:
- POLICY:on request
- CONTACT Dr. Zbigniew Suraj
Pedagogical University
Computer Science Laboratory
Rejtana Str. 16a
35-310 Rzeszów
Poland
- References:
- T. Gasior, Z. Suraj: A system for automatic drawing Petri Nets - GRAPH [gs89]
- Z. Suraj: GRAPH: A graphical system for Petri Net design and simulation [sur90]