1. Best, E., Devillers, R.: Sequential and concurrent behaviour in Petri net theory. Theoret. Comput. Sci. 55(1), 87–136 (1987)
2. Richard Büchi, J.: Weak second-order arithmetic and finite automata. Z. Math. Logik Grundlagen Math. 6, 66–92 (1960)
3. Richard Büchi, J.: On a decision method in restricted second order arithmetic. In: Proceedings of the 1960 International Congress Logic, Methodology and Philosophy of Science, pp. 1–11. Stanford University Press, Stanford (1962)
4. Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer, New York (2006)
5. Desel, J., Kılınç, G.: Observable liveness. In: Moldt, D., Rölke, H. (eds.) International Workshop on Petri Nets and Software Engineering (PNSE 2014). CEUR Workshop Proceedings, Aachen, vol. 1160, pp. 143–163. CEUR-WS.org. (2014).
http://ceur-ws.org/Vol-1160/