Learning Workflow Petri Nets

Workflow mining is the task of automatically producing a workflow model from a set of event logs recording sequences of workflow events; each sequence corresponds to a use case or workflow instance. Formal approaches to workflow mining assume that the event log is complete (contains enough information to infer the workflow) which is often not the case. We present a learning approach that relaxes this assumption: if the event log is incomplete, our learning algorithm automatically derives queries about the executability of some event sequences. If a teacher answers these queries, the algorithm is guaranteed to terminate with a correct model. We provide matching upper and lower bounds on the number of queries required by the algorithm, and report on the application of an implementation to some examples.

[1]  Robin Bergenthum,et al.  Process Mining Based on Regions of Languages , 2007, BPM.

[2]  Benedikt Bollig,et al.  Learning Communicating Automata from MSCs , 2010, IEEE Transactions on Software Engineering.

[3]  Éric Badouel,et al.  On the Synthesis of General Petri Nets , 1996 .

[4]  Hmw Eric Verbeek,et al.  Verification of WF-nets , 2004 .

[5]  Robin Bergenthum,et al.  Construction of Process Models from Example Runs , 2009, Trans. Petri Nets Other Model. Concurr..

[6]  Dana Angluin,et al.  Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..

[7]  H. Andersen.  An Introduction to Binary Decision Diagrams , 1997 .

[8]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[9]  Boudewijn F. van Dongen,et al.  Process Mining Framework for Software Processes , 2007, ICSP.

[10]  Boudewijn F. van Dongen,et al.  Workflow mining: A survey of issues and approaches , 2003, Data Knowl. Eng..

[11]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[12]  Dimitrios Gunopulos,et al.  Mining Process Models from Workflow Logs , 1998, EDBT.

[13]  Ekkart Kindler,et al.  Process Mining and Petri Net Synthesis , 2006, Business Process Management Workshops.

[14]  Benedikt Bollig,et al.  libalf: The Automata Learning Framework , 2010, CAV.

[15]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[16]  Robin Bergenthum,et al.  Experimental results on process mining based on regions of languages , 2008 .

[17]  M. P. Vasilevskii.  Failure diagnosis of automata , 1973 .

[18]  Javier Esparza,et al.  Learning Workflow Petri Nets , 2010, Petri Nets.

[19]  Philippe Darondeau,et al.  Polynomial Algorithms for the Synthesis of Bounded Nets , 1995, TAPSOFT.