Process discovery and Petri nets

DOI10.1017/S0960129509990132MaRDI QIDQ3655758zbMATH OpenFDO

Authors Nadia Busi, G. Michele Pinna

Publication date 12 January 2010

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129509990132

zbMATH Keywords

model designprocess mining

Mathematics Subject Classification ID

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

Recommendations

• Discovering Petri nets from event logs
• Process Discovery Using Integer Linear Programming
• Process discovery using integer linear programming
• Incremental process discovery using Petri net synthesis
• Incremental process discovery

Cites work

• A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
• On the Synthesis of Zero-Safe Nets
• Partial (set) 2-structures. I: Basic notions and the representation problems
• PETRI NETS AND STEP TRANSITION SYSTEMS
• Synthesis of Nets with Step Firing Policies
• The synthesis problem of Petri nets
• Trace nets and process automata

Cited in

(21)

• Discovering process models with long-term dependencies while providing guarantees and handling infrequent behavior
• Discovering Petri nets including silent transitions. A repairing approach based on structural patterns
• On the -reconstructibility of workflow nets
• Discovery of cancellation regions within process mining techniques
• Causal nets: a modeling language tailored towards process discovery
• Light region-based techniques for process discovery
• Process of petri nets extension
• Process Discovery Using Integer Linear Programming
• Construction of Process Models from Example Runs
• Process discovery using integer linear programming
• Projection approaches to process mining using region-based techniques
• scientific article; zbMATH DE number 1088051 (Why is no real title available?)
• Incremental process discovery using Petri net synthesis
• Discovering Petri nets from event logs
• Discovering object-centric Petri nets
• Applications and Theory of Petri Nets 2005
• Process net reconstruction from the sequence of Petri net transition triggerings
• Finding Complex Process-Structures by Exploiting the Token-Game
• Discovering directly-follows complete Petri nets from event data
• Role of stochastic Petri net (SPN) in process discovery for modelling and analysis
• There and back again. On the reconstructability and rediscoverability of typed Jackson nets

This page was built for publication: Process discovery and Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3655758)