An SMT-based discovery algorithm for C-nets

DOI10.1007/978-3-642-31131-4_4zbMATH Open1357.68143OpenAlexW1544520781WikidataQ62039977 ScholiaQ62039977MaRDI QIDQ2908199FDOQ2908199

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

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

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)

Cited In (1)

• Causal nets: a modeling language tailored towards process discovery

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)