Discovering Object-centric Petri Nets (Q4988950): Difference between revisions

@@ Property / describes a project that uses @@
+VipTool
@@ Property / describes a project that uses: VipTool / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02047
@@ Property / arXiv ID: 2010.02047 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri net synthesis
@@ Property / cites work: Petri net synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247291
@@ Property / cites work: Q4247291 / 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 @@
+Applying regions
@@ Property / cites work: Applying regions / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving Petri nets from finite transition systems
+Normal rank
@@ Property / cites work @@
+A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
+Normal rank
@@ Property / cites work @@
+New Region-Based Algorithms for Deriving Bounded Petri Nets
+Normal rank
@@ Property / cites work @@
+Regions of Petri nets with a/sync connections
@@ Property / cites work: Regions of Petri nets with a/sync connections / rank @@
+Normal rank
@@ Property / cites work @@
+On the Synthesis of Zero-Safe Nets
@@ Property / cites work: On the Synthesis of Zero-Safe Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3602749
@@ Property / cites work: Q3602749 / rank @@
+Normal rank
@@ Property / cites work @@
+Aggregating Causal Runs into Workflow Nets
@@ Property / cites work: Aggregating Causal Runs into Workflow Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages
+Normal rank
@@ Property / cites work @@
+Towards Synthesis of Petri Nets from Scenarios
@@ Property / cites work: Towards Synthesis of Petri Nets from Scenarios / rank @@
+Normal rank
@@ Property / cites work @@
+Models from Scenarios
@@ Property / cites work: Models from Scenarios / rank @@
+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 @@
+Discovering workflow nets using integer linear programming
+Normal rank
@@ Property / cites work @@
+Q5392873
@@ Property / cites work: Q5392873 / rank @@
+Normal rank
@@ Property / cites work @@
+Coloured Petri Nets
@@ Property / cites work: Coloured Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness of workflow nets: classification, decidability, and analysis
+Normal rank
@@ Property / cites work @@
+Discovering Block-Structured Process Models from Event Logs - A Constructive Approach
+Normal rank
@@ Property / cites work @@
+Q4321278
@@ Property / cites work: Q4321278 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3091024008
@@ Property / OpenAlex ID: W3091024008 / rank @@
+Normal rank