Skip to content

PIPE 5.0.0
Compare
Choose a tag to compare
@sarahtattersall sarahtattersall released this 22 Jun 16:19
· 40 commits to master since this release
PIPE-5.0.0
46c632f

This is the first major release of PIPE 5.

We present:

  • An entirely re-engineered back-end which aims to increase the reliability of the tool and provide better error handling
  • Two re-designed analysis modules. The state space exploration (a.k.a reachability) and the GSPN analysis module. Using multi-threaded algorithms these modules can analyse large Petri nets far faster than the previous PIPE 4 implementation.

PIPE 5 requires java 1.7.

Assets 3
Loading