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

@@ 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