Tim Kräuter

__Describe the Bug__ The order of message arrivals matters for a receive task with two (and probably more) incoming sequence flows. The following gif shows faulty behavior if a message...

Layouting with version 0.8.1 errors when run in a jar build by gradle

12

I recently tried upgrading my ELK-`core` and `alg.layered` dependencies from `0.7.1` to `0.8.1`. Everything was working in `0.7.1` even when ELK was run in a docker container. However, after upgrading...

Option to complete / Soundness possibly wrong result

3

I was comparing the Soundness result of fbpmn with the one obtained from [BProVe](http://pros.unicam.it:8080/BProVe/) and got different results for the following model:  According to fbpmn this model is sound,...

More precise simulation log icons.

1

### Describe the solution you'd like The simulation log currently always shows a default icon for each executed flow node, even if the flow node has a specific type with...