scientific article

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.

zbMATH Keywords

experimental resultstoken flow regionsVipTool

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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

• VipTool

This page was built for publication: