Automated Repair of Process Models Using Non-local Constraints (Q5100758): Difference between revisions

@@ Property / describes a project that uses @@
+HybridILPMiner
@@ Property / describes a project that uses: HybridILPMiner / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+rbminer
@@ Property / describes a project that uses: rbminer / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-51831-8_14
+Normal rank
@@ Property / OpenAlex ID @@
+W3034021260
@@ Property / OpenAlex ID: W3034021260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3045489
@@ Property / cites work: Q3045489 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri net synthesis
@@ Property / cites work: Petri net synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3602749
@@ Property / cites work: Q3602749 / rank @@
+Normal rank
@@ Property / cites work @@
+A Graph-Theoretical Characterisation of State Separation
+Normal rank
@@ Property / cites work @@
+New Region-Based Algorithms for Deriving Bounded Petri Nets
+Normal rank
@@ Property / cites work @@
+Deriving Petri nets from finite transition systems
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+The synthesis problem of Petri nets
@@ Property / cites work: The synthesis problem of Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Discovering Block-Structured Process Models from Incomplete Event Logs
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+A geometric characterisation of event/state separation
+Normal rank
@@ Property / cites work @@
+Process Mining from a Basis of State Regions
@@ Property / cites work: Process Mining from a Basis of State Regions / rank @@
+Normal rank
@@ Property / cites work @@
+Process Discovery Using Integer Linear Programming
+Normal rank
@@ Property / cites work @@
+Discovering workflow nets using integer linear programming
+Normal rank