It is with great pleasure we can confirm, that an immense and acknowledged international conference is bringing focus on the DCR technology (Dynamic Condition Response).
Thomas Hildebrandt, Associate professor at the IT University of Copenhagen and one of the founders of the DCR technology, is part of an exclusive group of people, invited to share knowledge and research results at an international algorithm conference in Spain. Thomas is invited to talk about the DCR technology at the Application of Concurrency to System Design (ACSD) Conference.
The conference is included as part of the two events: the 38th International Conference on Application and Theory of Petri Nets and Concurrency, and the 17th International Conference on Application of Concurrency to System Design (PN 2017 and ACSD 2017), which will take place from 25th – 30th June 2017 at the University of Zaragoza in Spain. The main themes will be Process Mining, region theory, and other synthesis techniques. In other words, “lower level” behavioral descriptions that are used to create “higher level” process models.
Thomas will deliver a keynote presentation on the 26th June regarding the DCR graph technology with the title ‘Modelling & Mining Event-based Concurrent Declarative Processes as Dynamic Condition Response Graphs’.
During this presentation, an introduction will be given explaining the theory and tools behind the DCR graph, and how the technology supports: commercial tools for collaborative process design and simulation, adaptive case management, academic tools for process design, simulation and analysis.
In addition, the presentation will include the usage of modeling and mining of so-called “truly” concurrent event-based processes.
The conference will also include presentations regarding:
- Theory and applications of region theory and process mining
- Automated business process model discovery
- Conformance checking, alignments, and replay algorithms
- Business process intelligence and date-driven process-oriented approaches
- Techniques combining formal methods with data science approaches
- Algorithms, theories, and tools for region theory and other forms of synthesis
- Case studies and empirical investigations using event data.