timKraeuter/rust_bpmn_analyzer timKraeuter/rust_bpmn_analyzer

  • Stars
    star
    6
  • Rank 2,533,033 (Top 51 %)
  • Language
    Rust
  • License
    MIT License
  • Created 12 months ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
timKraeuter/rust_bpmn_analyzer
github

timKraeuter

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A BPMN-specific model checker written in Rust.

More Repositories

1

object-diagram-js

A object diagram rendering toolkit and web modeler.
JavaScript
40
star
2

VisualDebugger

https://plugins.jetbrains.com/plugin/16851-visual-debugger
Java
19
star
3

BPMN-Analyzer

Java
4
star
4

TERMGRAPH-2022

Sources for my extended abstract at TERMGRAPH-2022
TeX
2
star
5

object-diagram-moddle

JavaScript
2
star
6

CategoryOfTransitionSystems

Implements the category of transition systems including calculating a pullback for this category.
Java
2
star
7

ICSE-2024

Sources and artifacts for the IDE@ICSE-2024 publication.
TeX
1
star
8

ICSME-2022

Sources and artifacts for the ICSME-2022 publication.
TeX
1
star
9

Visual_Debugging_in_IntelliJ

TeX
1
star
10

timKraeuter

1
star
11

PCS955-DAT355

Java
1
star
12

NWPT-2021

NWPT-2021 abstract
TeX
1
star
13

MODELS-2021

Sources for the MODELS-2021 publication.
TeX
1
star
14

object-diagram-js-differ

JavaScript
1
star
15

bpmn-analyzer-js

A BPMN modeler with integrated control-flow analysis and quick-fixes.
JavaScript
1
star