Process discovery and Petri nets

DOI10.1017/S0960129509990132zbMath1191.68432MaRDI QIDQ3655758

G. Michele Pinna, Nadia Busi

Publication date: 12 January 2010

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

zbMATH Keywords

process miningmodel design

Mathematics Subject Classification ID

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

Cites Work

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

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