NetworkJumpProcesses.jl

An interface between Graphs.jl and JumpProcesses.jl.

Package features

  • Given jumps defined on edges and vertices, the package constructs a jump process on the (undirected) graph.
  • Construct a vartojumps_map and jumptovars_map to use as dependency graph for the RSSA(CR) aggregator.

See the Reference for all available functions.

There is more information about installation and use of the package in the Package Guide and hands-on examples.

Manual outline

Examples:

Documentation:

Package Limitations

As this is my first package and it has been developed for a specific use case, it is not as general as it could be.

  • Directed graphs are not supported.
  • jump-to-jump dependencies are not supported.
  • VariableJumps are supported but should be considered experimental.
  • Coding style and performance-wise improvements.
  • ... (please let me know!)