NETMAN
NETMAN serves as an editing tool which exports to other packages for analysis and simultion.
- Environment:
- MS-DOS / MS-Windows 3.1
- Origin:
- Rensselaer Polytechnic Institute, Troy (NY), USA
- Kind of Nets supported:
- Transition-Timed (deterministic and exponential) hierarchical Petri Nets
- Functionalities:
- Graphical EDITOR
- Export functionality provided for use with other tools
- Availability:
-
- References:
- Tool description at DAIMI
- Notes:
- The following tools are currently supported for export: XPN, SPNP, SimNet, POSES
