Exact and approximation algorithms for synthesizing specific classes of optimal block-structured processes

[1]  Costin Badica,et al.  Polynomial Algorithms for Synthesizing Specific Classes of Optimal Block-Structured Processes , 2021, ICCCI.

[2]  Costin Badica,et al.  Block structured scheduling using constraint logic programming , 2020, AI Commun..

[3]  Costin Badica,et al.  Exploring the Space of Block Structured Scheduling Processes Using Constraint Logic Programming , 2019, IDC.

[4]  Massimo Mecella,et al.  Automated Discovery of Process Models from Event Logs: Review and Benchmark , 2017, IEEE Transactions on Knowledge and Data Engineering.

[5]  Andrea Marrella.  Automated Planning for Business Process Management , 2018, Journal on Data Semantics.

[6]  Costin Badica,et al.  Greedy Heuristics for Automatic Synthesis of Efficient Block-Structured Scheduling Processes from Declarative Specifications , 2018, AIAI.

[7]  Bora Uçar,et al.  Scheduling series-parallel task graphs to minimize peak memory , 2018, Theor. Comput. Sci..

[8]  Marlon Dumas,et al.  Automated discovery of structured process models from event logs: The discover-and-structure approach , 2017, Data Knowl. Eng..

[9]  Yves Lespérance,et al.  A planning approach to the automated synthesis of template-based process models , 2017, Service Oriented Computing and Applications.

[10]  Klemens Böhm,et al.  Process Synthesis with Sequential and Parallel Constraints , 2016, OTM Conferences.

[11]  Klemens Böhm,et al.  Automatic Generation of Optimized Process Models from Declarative Specifications , 2015, CAiSE.

[12]  Arnold L. Rosenberg,et al.  On Scheduling Series-Parallel DAGs to Maximize Area , 2014, Int. J. Found. Comput. Sci..

[13]  Hua Duan,et al.  Hierarchy Modeling and Formal Verification of Emergency Treatment Processes , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[14]  Irene Barba,et al.  Automatic Generation of Optimized Business Process Models from Constraint-Based Specifications , 2013, Int. J. Cooperative Inf. Syst..

[15]  Sander J. J. Leemans,et al.  Discovering Block-Structured Process Models from Event Logs - A Constructive Approach , 2013, Petri Nets.

[16]  Kais Klai,et al.  Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs , 2012, FMOODS/FORTE.

[17]  Yi Liu,et al.  Modeling and Performance Evaluation of BPEL Processes: A Stochastic-Petri-Net-Based Approach , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[18]  Jan Mendling,et al.  A Study Into the Factors That Influence the Understandability of Business Process Models , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[19]  Hafedh Mili,et al.  Business process modeling languages: Sorting through the alphabet soup , 2010, CSUR.

[20]  Marlon Dumas,et al.  Structuring acyclic process models , 2010, Inf. Syst..

[21]  Oliver Kopp,et al.  The Difference Between Graph-Based and Block-Structured Business Process Modelling Languages , 2009, Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model..

[22]  Aravind Srinivasan,et al.  Scheduling on Unrelated Machines under Tree-Like Precedence Constraints , 2005, Algorithmica.

[23]  Wil M. P. van der Aalst,et al.  A Declarative Approach for Flexible Business Processes Management , 2006, Business Process Management Workshops.

[24]  Margaret Mitchell,et al.  Creating Minimal Vertex Series Parallel Graphs from Directed Acyclic Graphs , 2004, InVis.au.

[25]  Valentín Cardeñoso-Payo,et al.  Mapping unstructured applications into nested parallelism: Best student paper award: First prize , 2003 .

[26]  David Camacho,et al.  A knowledge-based approach for business process reengineering, SHAMASH , 2002, Knowl. Based Syst..

[27]  Gerhard J. Woeginger,et al.  A Review of Machine Scheduling: Complexity, Algorithms and Approximability , 1998 .

[28]  Rainer Kolisch,et al.  PSPLIB - A project scheduling problem library: OR Software - ORSEP Operations Research Software Exchange Program , 1997 .

[29]  Arjan J. C. van Gemund,et al.  SPC: A Model of Parallel Computation , 1996, Euro-Par, Vol. II.

[30]  David Eppstein,et al.  Parallel Recognition of Series-Parallel Graphs , 1992, Inf. Comput..

[31]  Jeffrey D. Ullman,et al.  NP-Complete Scheduling Problems , 1975, J. Comput. Syst. Sci..

[32]  James E. Kelley,et al.  Critical-Path Planning and Scheduling: Mathematical Basis , 1961 .