PESIM
- Environment:
- MS-DOS / MS-Windows
- Origin:
- Dept. of Computer Science and Engineering, Technical University of Brno, Czech Republic
- Kind of Nets supported:
- Place/Transition Nets with inhibitor arcs, Marked Graphs, Stochastic Petri Nets (exponential distributed and immediate transitions)
- Functionalities:
- Graphical and Textual EDITOR
- Step-by-Step SIMULATION
- ANALYSIS:
- Reachability Tree construction (to verify liveness, safeness, ...)
- S- and T-Invariants
- Reduction Technique for Marked Graphs
- Steady State PERFORMANCE ANALYSIS (state probabilities, token prob. density function for each place, average number of tokens in set of places, ...)
- Availability:
-
- References:
- Tool description at DAIMI
- M. Ceska: Tools for net model applications [ces92]
- M. Skacel: Tools for Petri Nets drawing, simulation and analysis under MS Windows [ska92]