Discrete Event Dynamic Systems resources

• Chapter 1: Introduction to DEDS
• Chapter 2: Languages and Automata
• Notes on conversion between DFSA and Regular Expressions [from Hopcroft, John E.; Ullman, Jeffrey D. (1979). Introduction to Automata Theory, Languages, and Computation (1st ed.) Addison-Wesley]
• Chapter 3: Supervisory Control
• Chapter 4: Petri Nets
• Chapter 5: Timed DES
• Chapter 6: Stochastic Timed Automata and Petri Nets
• Notes on equivalence of ETPNs and MCs [from N. Viswanadham, Y. Narahari. Performance Modeling of Automated Manufacturing Systems , 1992, Prentice Hall]
• Chapter 7: Markov Chains
• Chapter 8: Controlled Markov Chains