Karmada PN

A Python library for modeling Multi-Cluster Infrastructures based on Karmada using PetriNets

---

Structure

KarmadaPN
├── PNS                            Implements different PetriNets 
│    ├── ClusterPN 
│    │     └── MultiNodeClusterPN    Petri Net of a single Cluster 
│    └── Propagation                  Petri Net of different Karmada Propagation Policies*
│          ├── PP_DuplicatedPN        Duplicated Propagation Policy
│          ├── PP_AggregatedPN        Divided Aggregated Propagation Policy
│          ├── PP_DynamicWeightsPN    Divided Weighted Propagation Policy with Dynamic Weights
│          └── PP_StaticWeightsPN     Divided Weighted Propagation Policy with Static Weights
│
├── Tokens                          Structured tokens 
│    ├── Service                    Kuberenetes Resources (pods, deployments etc) that require resources
│    └── Node                       Cluster Nodes 
│
├── PN                              implements modular Petri Net Creation
│    └── PNComponent                General Customizable PN that can be combined with other PNComponents
│
├── Functions                       Necessary functions for the implementation of Expressions of some Petri Nets.
├── util                            Utility Functions for testing and explainability. Not needed for PN implementation
├── analysis                        Functions for analysing PNS, such as generating Graphs of Markings or finding possible stable stages 
└── metrics                         Functions for creating Dynamic Models based on live metric from kubectl        

*more about Karmada Propagation Policies

---

The library is based on SNAKES library for Petri Nets in Python.

For examples see the test files

INSTALLATION

On the root directory run

make pypi

or

pip install .