Synthesizing Petri Nets from Hasse Diagrams

Synthesis aims at producing a process model from specified sample executions. A user can specify a set of executions of a system in a specification language that is much simpler than a process modeling language. The intended process model is then constructed automatically.

[1]  Robin Bergenthum,et al.  Synthesis of Petri Nets from Finite Partial Languages , 2008, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).

[2]  Philippe Darondeau,et al.  Petri Net Synthesis , 2015, Texts in Theoretical Computer Science. An EATCS Series.

[3]  Josep Carmona,et al.  Region-Based Foldings in Process Discovery , 2013, IEEE Transactions on Knowledge and Data Engineering.

[4]  Marlon Dumas,et al.  Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs , 2015, Petri Nets.

[5]  Andrzej Ehrenfeucht,et al.  Partial (set) 2-structures , 1990, Acta Informatica.

[6]  Wil M. P. van der Aalst,et al.  Workflow mining: discovering process models from event logs , 2004, IEEE Transactions on Knowledge and Data Engineering.

[7]  Wolfgang Reisig,et al.  Processes of Place/Transition-Nets , 1983, ICALP.

[8]  Josep Carmona.  Projection approaches to process mining using region-based techniques , 2011, Data Mining and Knowledge Discovery.

[9]  Jörg Desel,et al.  Quantitative Engineering of Business Processes with VIP business , 2003, Petri Net Technology for Communication-Based Systems.

[10]  Eduardo D. Sontag,et al.  NET-SYNTHESIS: a software for synthesis, inference and simplification of signal transduction networks , 2008, Bioinform..

[11]  Jörg Desel,et al.  Can I Execute My Scenario in Your Net? , 2005, ICATPN.

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

[13]  Boudewijn F. van Dongen,et al.  ILP-Based Process Discovery Using Hybrid Regions , 2015, ATAED@Petri Nets/ACSD.

[14]  Robin Bergenthum,et al.  Executability of scenarios in Petri nets , 2009, Theor. Comput. Sci..

[15]  Dirk Fahland,et al.  Oclets - Scenario-Based Modeling with Petri Nets , 2009, AWPN.

[16]  Boudewijn F. van Dongen,et al.  Discovering Petri Nets from Event Logs , 2013, Trans. Petri Nets Other Model. Concurr..

[17]  Andrzej Ehrenfeucht,et al.  Partial (set) 2-structures , 1990, Acta Informatica.

[18]  Jörg Desel,et al.  Modelling and Validation with VipTool , 2003, Business Process Management.

[19]  Wolfgang Reisig,et al.  Understanding Petri nets , 1995, IEEE Parallel & Distributed Technology: Systems & Applications.

[20]  Robin Bergenthum,et al.  Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language , 2009, Trans. Petri Nets Other Model. Concurr..

[21]  Wolfgang Reisig,et al.  Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies , 2013, Bull. EATCS.

[22]  J. Grabowski,et al.  On partial languages , 1981, Fundam. Informaticae.

[23]  Wolfgang Reisig,et al.  Place or Transition Petri Nets , 1996, Petri Nets.

[24]  Robin Bergenthum,et al.  Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows , 2013, Petri Nets.

[25]  Heinrich C. Mayr,et al.  Business Process Modeling and Requirements Modeling , 2007, First International Conference on the Digital Society (ICDS'07).

[26]  Boudewijn F. van Dongen,et al.  The ProM Framework: A New Era in Process Mining Tool Support , 2005, ICATPN.

[27]  Marlon Dumas,et al.  Log Delta Analysis: Interpretable Differencing of Business Process Event Logs , 2015, BPM.

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

[29]  Josep Carmona,et al.  Genet: A Tool for the Synthesis and Mining of Petri Nets , 2009, 2009 Ninth International Conference on Application of Concurrency to System Design.

[30]  Robin Bergenthum,et al.  Synthesis of Petri Nets from Scenarios with VipTool , 2008, Petri Nets.

[31]  Robin Bergenthum,et al.  Verification of Scenarios in Petri Nets Using Compact Tokenflows , 2015, Fundam. Informaticae.

[32]  Josep Carmona,et al.  New Region-Based Algorithms for Deriving Bounded Petri Nets , 2010, IEEE Transactions on Computers.

[33]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[34]  Dirk Fahland,et al.  Scenario-based process modeling with Greta , 2010, BPM.