PN^3-Editor
The PN^3-Editor is a Petri Net Tool for the Specification of Communication Protocols.
- Environment:
- MS-DOS with MS Windows 3.x
- Origin:
- Institute for Automation & Control Processes, Vladovostok, Russia
- Kind of Nets supported:
- Hierarchical Petri Nets
- Functionalities:
- BASIC PETRI NET EDITOR: multi-window editor with all necessary features to draw/edit and simulate nets and their hierarchical structures
- ALGEBRAIC EDITOR: construction of complex nets using net operations (atomic net, sequential comp., pre-and postfix, choice, parallel comp., iteration, recursion)
- ARCHITECTURE LEVEL: This level is intended for designing complex systems at a higher level of compositionality and describes general structures of systems, which can be detailed in net levels.
- Availability:
- POLICY: protoype available upon request - special conditions for Universities and Research Centers
- CONTACT Dr. Nikolay Anisimov
- References:
- N. A. Anisimov, A. Kovalenko, P. Postupalski: Compositional Petri Net Environment [akp94]
- N. A. Anisimov: An Algebra of Regular Macronets for Formal Specification of Communication Protocols [ani91]
- N. A. Anisimov: A Notion of Petri Net Entity for Communication Protocol Design [ani89]
- N. A. Anisimov, A. Kovalenko, P. Postupalski: PN^3-Editor: Compositional Petri Net Editor for Protocol Specification [akp95]
- Notes:
- The PN^3-Editor is a successor of the Compositional Petri Nets Environment; the full version of the tool is expected to be completed in 1996.
