Optimal sceduling of complex processes through stochastic model checking: An example from the baked goods industry

Luke Thomas Herbert, Zaza Nadja Lee Hansen, Robin Sharp, Peter Jacobsen

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of the 3rd International Conference on Modelling and Management of Engineering Processes
Publication date	2013
Publication status	Published - 2013
Event	3rd International Conference on Modelling and Management of Engineering Processes - Magdeburg, Germany Duration: 20 Nov 2013 → 21 Nov 2013 Conference number: 3

Conference	3rd International Conference on Modelling and Management of Engineering Processes
Number	3
Country/Territory	Germany
City	Magdeburg
Period	20/11/2013 → 21/11/2013

OpenUrl availability

@inproceedings{53386d7d757346a7b564937b7c654e87,

title = "Optimal sceduling of complex processes through stochastic model checking: An example from the baked goods industry",

author = "Herbert, {Luke Thomas} and Hansen, {Zaza Nadja Lee} and Robin Sharp and Peter Jacobsen",

year = "2013",

language = "English",

booktitle = "Proceedings of the 3rd International Conference on Modelling and Management of Engineering Processes",

note = "3rd International Conference on Modelling and Management of Engineering Processes ; Conference date: 20-11-2013 Through 21-11-2013",

}

Herbert, LT, Hansen, ZNL, Sharp, R & Jacobsen, P 2013, Optimal sceduling of complex processes through stochastic model checking: An example from the baked goods industry. in Proceedings of the 3rd International Conference on Modelling and Management of Engineering Processes. 3rd International Conference on Modelling and Management of Engineering Processes, Magdeburg, Germany, 20/11/2013.

Optimal sceduling of complex processes through stochastic model checking: An example from the baked goods industry. / Herbert, Luke Thomas; Hansen, Zaza Nadja Lee; Sharp, Robin et al.
Proceedings of the 3rd International Conference on Modelling and Management of Engineering Processes. 2013.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Optimal sceduling of complex processes through stochastic model checking: An example from the baked goods industry

AU - Herbert, Luke Thomas

AU - Hansen, Zaza Nadja Lee

AU - Sharp, Robin

AU - Jacobsen, Peter

N1 - Conference code: 3

PY - 2013

Y1 - 2013

M3 - Article in proceedings

BT - Proceedings of the 3rd International Conference on Modelling and Management of Engineering Processes

T2 - 3rd International Conference on Modelling and Management of Engineering Processes

Y2 - 20 November 2013 through 21 November 2013

ER -