tuplle / micro-petri Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Demo project for microservice architecture with Petri nets.

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
.github/workflows		.github/workflows
.mvn/wrapper		.mvn/wrapper
auth-service		auth-service
gateway		gateway
net-service		net-service
petri4j		petri4j
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
mvnw		mvnw
mvnw.cmd		mvnw.cmd
pom.xml		pom.xml

Repository files navigation

Micro-Petri

Modules

Petri4J - Common structure of Petri nets.
Net service - Service for CRUD over nets.
Analysis service - Service for analysis of saved/known nets.

About

Demo project for microservice architecture with Petri nets.

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

Report repository

Languages

Java 100.0%