FuzzP is Fuzzy Petri-net and a Unified Enhanced Time Petri Neti visualizer and executor for teaching and academic purposes. The user has to define the structure of the Petri-net, and the rule-tables inculded in the transition. Based on these FuzzyP is capable to execute the Fuzzy Petri net, and to vizualize it's behaviour. For visualization uses JGraphX and Gral libraries.
- FuzzPCore contains the executors and the realted algorithms.
- FuzzPVizual contains a presentation UI which is able to draw the structure of the Petri net, and the evolution of places.
- FuzzPExt contains a small language to define Petri nets. It is inspired by Graphviz's dot and OOP princeples. FuzzPExt also has a code generator which output is compatibe with FuzzPCore's API.
- FuzzPExamples contains some examples.
Java 1.8 (or higher) for FuzzPCore Gson is required (for serialziation). For FuzzPVizual the two libraries mentioned above. Running the tests requires the usual: JUnit
The FuzzPExamples should run with the newest build from fatJar. (The jars contain all the dependeces)