1. Scott Ananian, C.: The static single information form. Master’s thesis, Massachusetts Institute of Technology (September 1999)
2. Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, Cambridge (1995)
3. Esparza, J.: Reduction and synthesis of live and bounded free choice Petri nets. Inf. Comput. 114(1), 50–87 (1994)
4. Hauser, R., Friess, M., Küster, J.M., Vanhatalo, J.: An incremental approach to the analysis and transformation of workflows using region trees. IEEE Transactions on Systems, Man, and Cybernetics - Part C (June 2007) (to appear, also available as IBM Research Report RZ 3693)
5. Johnson, R., Pearson, D., Pingali, K.: The program structure tree: Computing control regions in linear time. In: PLDI. Proceedings of the ACM SIGPLAN’94 Conference on Programming Language Design and Implementation, pp. 171–185. ACM Press, New York (1994)