Search

Now showing items 1-2 of 2

Model checking petri nets with names using data-centric dynamic systems

Montali M; Rivkin A (2016)
Petri nets with name creation and management (-PNs) have been recently introduced as an expressive model for dynamic (distributed) systems, whose dynamics are determined not only by how tokens flow in the system, but also ...
Soundness of Data-aware, Case-centric Processes

Montali M; Calvanese D (2016)
In recent years, a plethora of foundational results and corresponding techniques and tools has been developed to support the modeling, analysis, execution and improvement of business processes along their entire lifecycle. ...