bpmncheck
| Crates.io | bpmncheck |
| lib.rs | bpmncheck |
| version | 0.1.0 |
| created_at | 2025-11-30 21:50:20.277135+00 |
| updated_at | 2026-01-11 21:42:59.475432+00 |
| description | A library to sanity-check Business Process Model Notation models |
| homepage | https://github.com/erwanM974/bpmncheck |
| repository | https://github.com/erwanM974/bpmncheck |
| max_upload_size | |
| id | 1958884 |
| size | 404,455 |
(erwanM974)
documentation
README
BPMNCHECK
This micro library provides utilities to:
- define BPMN diagrams
- parse such diagrams from ".bpmn" files
- generate Place/Transition Petri Nets from such diagrams
In turn these Petri Nets may be used to model check the Business Process Model.
Example
The table below illustrates the generation of a Petri Net from an initial BPMN diagram.
| Initial BPMN diagram | Visualization of library's internal representation | Produced Petri Net, labelling with BPMN ids |
|---|---|---|
 |
 |
 |