https://github.com/tuplle/micro-petri

Demo project for microservice architecture with Petri nets.
https://github.com/tuplle/micro-petri

java maven microservices petri-nets reachability-analysis spring spring-boot

Last synced: 2 months ago
JSON representation

Demo project for microservice architecture with Petri nets.

• Host: GitHub
• URL: https://github.com/tuplle/micro-petri
• Owner: tuplle
• License: mit
• Created: 2020-11-22T21:36:18.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2021-02-13T18:10:32.000Z (over 4 years ago)
• Last Synced: 2025-02-10T15:14:17.965Z (4 months ago)
• Topics: java, maven, microservices, petri-nets, reachability-analysis, spring, spring-boot
• Language: Java
• Homepage:
• Size: 52.7 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Micro-Petri

![MIT License](https://img.shields.io/badge/license-MIT-green)

![Java 11](https://img.shields.io/badge/Java-11-red)

![Spring Boot 2.4.0](https://img.shields.io/badge/Spring%20Boot-2.4.0-brightgreen)

![Maven package build](https://github.com/mladoniczky/micro-petri/workflows/Maven%20package%20build/badge.svg?branch=master)

## Modules

- Petri4J - Common structure of Petri nets.

- Net service - Service for CRUD over nets.

- Analysis service - Service for analysis of saved/known nets.