1. Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer, New York (2006)
2. Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley Longman Publishing, Boston (2006)
3. Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77, 541–580 (1989)
4. Baccelli, F., Cohen, G., Olsder, G.J., Quadrat, J.-P.: Synchronization and Linearity: An Algebra for Discrete Event Systems. Wiley, New York (1992)
5. Menguy, E., Boimond, J.-L., Hardouin, L., Ferrier J.-L.: Just-in-time control of timed event graphs: update of reference input, presence of uncontrollable input. IEEE Trans. Autom. Control 45, 2155–2159 (2000)