Brunsch, T., Hardouin, L., & Raisch, J. (2011). Modeling and Control of Nested Manufacturing Processes using Dioid Models. In Proceedings of the 3rd International Workshop on Dependable Control of Discrete Systems (pp. 78-83).