1. Hellerstein, J.L., Diao, Y., Parekh, S., Tilbury, D.M.: Feedback Control of Computing Systems. Wiley (2004)
2. Wallace, C., Jensen, P., Soparkar, N.: Supervisory control of workflow scheduling. In: Proc. International Workshop on Advanced Transaction Models and Architectures (1996)
3. Phoha, V.V., Nadgar, A.U., Ray, A., Phoha, S.: Supervisory control of software systems. IEEE Transactions on Computers 53(9), 1187–1199 (2004)
4. Liu, C., Kondratyev, A., Watanabe, Y., Desel, J., Sangiovanni-Vincentelli, A.: Schedulability analysis of Petri nets based on structural properties. In: Proc. International Conference on Application of Concurrency to System Design (2006)
5. Wang, Y., Kelly, T., Lafortune, S.: Discrete control for safe execution of IT automation workflows. In: Proc. ACM EuroSys Conference (2007)