PNTBLSIM - Petri Net TaBLe-based SIMulator
- Environment:
- MS-DOS
- Origin:
- Dept. of Information & Computer Sciences, University of Hawaii, USA
- Kind of Nets supported:
- Coloured Petri Nets, Timed Petri Nets with inhibitor arcs
- Functionalities:
- Textual EDITOR
- Interactive or Statistical SIMULATION
- Reachability ANALYSIS: coverability tree
- The tool is open-ended (programmer-extensible).
- Availability:
- POLICY: free for academic users
- CONTACT A. Lew
- References:
- A. Lew: Petri Net processing using decision tables [lew85]
- A. Lew: PNTBLSIM: a tool for the simulation of High-Level Petri Nets
- Notes:
- PNTBLSIM uses decision tables as a data structure for representing Petri Nets.
