lalualdo
@lalualdo
1
Published Tools
0
Total Stars
0
Weekly Downloads
Published Tools
1 Skillacross 1 categorybpmn2pnml-ltl-analyzer
Lalu Aldo <[email protected]>
Unified library: parse multi-format BPMN → convert to PNML (Petri Net) → LTL deadlock/livelock analysis with cross-representation consistency checking
...moreSkilluncategorised
1 dir