This is the webpage for RenewKube.

Petri nets require powerful tools to be executed for token game, visualizations, simulations, programming execution or analysis (verification and validation). Due to the non-recursive size of the state space of Petri net models in the general case in combination with dynamically growing and shrinking numbers of Petri net models have the need for scaling. RenewKube addresses this problem.

RenewKube is a plugin for the Petri net tool ​Renew. It provides necessary technical frameworks for the design of large models. Embedding into virtual machines and Docker containers becomes easier. Starting from previous solutions with ​Renew, Web Services, agent-based models, virtual machines and simple Cloud based implementations RenewKube integrates Docker and Kubernetes in its environment. It offers the scaling of the execution of complex models.

RenewKube supports the installation and application of the frameworks and additional software enhancements for ​Renew by scripts and provides a lean interface for distributed simulations. Currently it is a prototypical proof-of-concept implementation, that inherits all basic necessary features for the distributed simulation support.

On the one hand some software needs to be installed beside ​Renew and the RenewKube Plugin. With respect to the Petri net models it is also possible to control the scaling from within the Petri net models via two main commands getScale(); and setScale(<number>); inscriptions. These inscriptions are used in addition to the formerly developed DistributePlugin?, which is considerably developed further for RenewKube. Starting from a first instance the simulation can grow in remote locations or within other local virtual machines. The Kubernetes Pod concept allows to loose containers at runtime. Up to now ​Renew model simulations on different machines were coupled in a stronger way, so that the whole simulation died when one of the nodes (the simulation running on a node) disappeared. However, this is an experimental features that will be tested in depth during the further development of RenewKube.

Architecture

Main Components of the software

At runtime the simulation has three major parts:

1. User node:

Contains a ​Renew simulator. Provides the interface of ​Renew to the user and ensures the communication with the cluster master node.

2. N additional worker nodes:

Each node contains an own ​Renew simulator. Each worker node simulation waits until it is called to execute a net simulation.

3. Cluster master node:

Does not contain a ​Renew simulator. The cluster master node covers most administrative matters. It offers four services / components:

1. The container manager (that is provided by Kubernetes) alongside with a network abstraction layer,
2. a private Docker image registry,
3. the Java RMI registry and
4. an integration service called RenewKube manager.

RenewKube manager

The RenewKube manager is a stateless application based on Java Spring and the REST technology, which handles multiple things like

• the integration of additional physical nodes,
• authorization against the Kubernetes manager,
• relaying information,
• accepting tasks,
• providing the net templates to additional running simulations and
• handling individual ​Renew extension containers in regards to accessibility from the user node.

Here we provide a temporarily download for reviewers: ​RenewKube.zip

Prerequisites

Installation for the CCPN tools is supported for Unix-like systems (macOS, Linux, BSD,...) and requires the installation of:

• Java Runtime / Development Environment in Version 9 or later
• ​Git
• ​Docker
• ​Kubernetes
• ​Renew
• ​VirtualBox
• several further operating system specific tools

Installation

There is one major script that will support the installation process. Environment variables like JAVA_HOME etc. must be set according to your specific needs of you environment. Every component can be installed separately, but we recommend to use our script.

The steps one needs to take are:

1. Install the basic environment for RenewKube.
2. Download the zip file with all scripts, software for RenewKube provided by us, examples and documentation.
3. Start installer script.
4. Load examples and start the system

The final version of RenewKube will be downloadable soon. Thank you for your patience!

More information will come soon.