PIPE+ - A Modeling Tool for High Level Petri Nets

PIPE+ supports modeling and simulating a subset of high level Petri net. It implements in Java and based on PIPE(Platform Independent Petri Net Editor)

The current version of PIPE+ source code can be downloaded from here PIPE+ Version 1.0

An instruction and example of how to use PIPE+ can be found at PIPE+ Tutorial

The Android Permission Model Android Permission

Security Patterns Security Patterns

The related paper"Su Liu, Reng Zeng, Xudong He, PIPE+ - A Modeling Tool for High Level Petri Nets."

The Center for Advanced Distributed System Engineering Group at the School of Computing and Information Sciences at FIU
Free Counter
Free Counter