Optimal Sceduling of Stochastic Production Processes Through Model Checking

Modelling and subsequently optimising workflow processes has been a key part of efforts to improve efficiency in production and engineering firms since the beginning of the 20th century (Gilbreth & Gilbreth, 1921).

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

[2]  Bengt Jonsson,et al.  A logic for reasoning about time and reliability , 1990, Formal Aspects of Computing.

[3]  Jan Recker,et al.  How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation , 2008, CAiSE.

[4]  Christel Baier,et al.  On Reduction Criteria for Probabilistic Reward Models , 2006, FSTTCS.

[5]  Christel Baier,et al.  Principles of model checking , 2008 .

[6]  Marta Z. Kwiatkowska,et al.  Symmetry Reduction for Probabilistic Model Checking , 2006, CAV.

[7]  R. Sharp,et al.  Using Stochastic Model Checking to Provision Complex Business Services , 2012, 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering.

[8]  Ashutosh Tiwari,et al.  Business Process Analysis and Optimization: Beyond Reengineering , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[9]  J. L. Bower,et al.  Disruptive change. When trying harder is part of the problem. , 2002, Harvard business review.

[10]  Marco Carbone,et al.  Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways , 2010, WS-FM.

[11]  Just L. Herder,et al.  Design of a Statically Balanced Tensegrity Mechanism , 2006 .

[12]  Luke Thomas Herbert,et al.  Optimisation of BPMN Business Models via Model Checking , 2013 .

[13]  D. J. White.  Markov Decision Processes , 2006 .

[14]  Luke Thomas Herbert,et al.  Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows , 2013, J. Comput. Inf. Sci. Eng..

[15]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[16]  Adnan Aziz,et al.  It Usually Works: The Temporal Logic of Stochastic Systems , 1995, CAV.

[17]  Anton Wijs,et al.  Solving scheduling problems by untimed model checking , 2009, FMICS '05.

[18]  Joseph Sifakis,et al.  Priority scheduling of distributed systems based on model checking , 2009, Formal Methods Syst. Des..

[19]  Luke Thomas Herbert,et al.  Quantitative analysis of probabilistic BPMN workflows , 2012 .