RT @AndyRivkin: If you're interested in modelling and parameterised verification of object-centric processes with read-only data, check out…
68 followers
745 followers
This is part of our long-standing effort to processes operating over multiple objects at once. A problem that is now getting increasing attention in BPM and process mining. It contains also a part relating different models in this spectrum, such as proc…
1,164 followers
RT @AndyRivkin: If you're interested in modelling and parameterised verification of object-centric processes with read-only data, check out…
29 followers
If you're interested in modelling and parameterised verification of object-centric processes with read-only data, check out our recent paper with Silvio Ghilardi, @AleGiano93 and @marmont81 here: https://t.co/WkDiObe3N8 (free access until April 30)