Part 1 - Model-repair with partial orders

Editor for displaying partial languages on a canvas. You can find the live version here.

Part 2 - Model-repair to increase the precision of petri nets with behavioural specifications

Name		Name	Last commit message	Last commit date
Latest commit History 163 Commits
.github/workflows		.github/workflows
.vscode		.vscode
__examples__		__examples__
docker		docker
src		src
.browserslistrc		.browserslistrc
.dockerignore		.dockerignore
.editorconfig		.editorconfig
.eslintrc.json		.eslintrc.json
.firebaserc		.firebaserc
.gitignore		.gitignore
.prettierrc.json		.prettierrc.json
Dockerfile		Dockerfile
README.md		README.md
angular.json		angular.json
cloudbuild.yml		cloudbuild.yml
firebase.json		firebase.json
jest.config.js		jest.config.js
package-lock.json		package-lock.json
package.json		package.json
setup-jest.ts		setup-jest.ts
tsconfig.app.json		tsconfig.app.json
tsconfig.json		tsconfig.json
tsconfig.spec.json		tsconfig.spec.json