search

bpmn-io / bpmn-js-token-simulation

A BPMN 2.0 specification compliant token simulator.
https://bpmn-io.github.io/bpmn-js-token-simulation/modeler.html?e=1&pp=1
MIT License
244 stars 69 forks source link

Detect anomalies (deadlock, livelock, races, dead tasks/nodes, starvation) #14

Open philippfromme opened 6 years ago

philippfromme commented 6 years ago

See https://hal.inria.fr/hal-01256584/document "8 Anomalies"

timKraeuter commented 1 month ago

I implemented something related. Maybe this is interesting for you. See my forum post.