An SMT-based discovery algorithm for C-nets

DOI10.1007/978-3-642-31131-4_4MaRDI QIDQ2908199zbMATH OpenOpenAlexWikidataFDO

Authors Marc Solé, Josep Carmona

Publication date 4 September 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2117/91283

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Causal nets: a modeling language tailored towards process discovery
• Process Discovery Using Integer Linear Programming
• Process discovery using integer linear programming
• Discovering Petri nets from event logs
• Incremental process discovery using Petri net synthesis

Cited in

(1)

• Causal nets: a modeling language tailored towards process discovery

Describes a project that uses

Uses Software

• Beaver

This page was built for publication: An SMT-based discovery algorithm for C-nets

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