Platform Independent Petri Net Editor (PIPE) creates and analyses Petri Nets quickly, efficiently, and effectively. A key design feature is the modular approach adopted for analysis, enabling new modules to be written easily and powerfully, using built-in data layer methods for standard calculations. Six analysis modules are provided, including Invariant Analysis, State-Space Analysis (deadlock, etc.), and Simulation Analysis and Classification. PIPE adheres to the XML Petri net standard (PNML). The file format for saving and loading Petri Nets is extensible through the use of XSLT, the default being PNML.
|Tags||education Testing Communications Utilities Networking Operating Systems Clustering/Distributed Networks Security Scientific/Engineering Electronic Design Automation (EDA)|
|Licenses||Open Software Public Domain|
|Operating Systems||Windows Mac OS X OS Independent Unix POSIX|
Release Notes: Assorted bugfixes and enhancements were made.
No changes have been submitted for this release.
Release Notes: Many bugs were fixed and major functionality enhancements were made.
Release Notes: This release adds three new statistical analysis modules (GSPN, DNAmaca, and Predator Invariant Analysis), curved multi-segment arcs, export to PostScript and PNG, printing, and net annotations. Some errors have been fixed, and there are many more changes.
Release Notes: The animation problem was fixed. Tokens are now moved around correctly.