6 citations · 6 across the 1 of their papers we have counts for
2 papers
cs.AI2020★ 6 cited
Automated simulation and verification of process models discovered by process mining
Ivona Zakarija, Frano Škopljanac-Mačina, Bruno Blašković
This paper presents a novel approach for automated analysis of process models discovered using process mining techniques. Process mining explores underlying processes hidden in the…
cs.SE2013
From Declarative Model to Solution: Scheduling Scenario Synthesis
Bruno Blaskovic, Mirko Randic
This paper presents deductive programming for scheduling scenario generation. Modeling for solution is achieved through program transformations. First, declarative model for schedu…