scientific article
From MaRDI portal
Publication:3602749
zbMath1167.68037MaRDI QIDQ3602749
Sebastian Mauser, Robin Bergenthum, Jörg Desel, Robert Lorenz
Publication date: 12 February 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (15)
Discovering workflow nets using integer linear programming ⋮ Discovering process models with long-term dependencies while providing guarantees and handling infrequent behavior ⋮ Automated Repair of Process Models Using Non-local Constraints ⋮ Projection approaches to process mining using region-based techniques ⋮ Finding Complex Process-Structures by Exploiting the Token-Game ⋮ Discovering Process Models with Long-Term Dependencies while Providing Guarantees and Filtering Infrequent Behavior Patterns ⋮ Aggregating Causal Runs into Workflow Nets ⋮ Partial Order Semantics of Types of Nets ⋮ Construction of Process Models from Example Runs ⋮ Unifying Petri Net Semantics with Token Flows ⋮ Oclets – Scenario-Based Modeling with Petri Nets ⋮ Hasse Diagram Generators and Petri Nets ⋮ Discovering Object-centric Petri Nets ⋮ Fault model identification and synthesis in Petri nets ⋮ Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory
Uses Software
This page was built for publication:
