[Cormen, T. H., Leiserson, C. E., Rivest, R. L. and Stein, C. (2001). Introduction to Algorithms, MIT Press, Cambridge, MA.]Search in Google Scholar
[Kiepuszewski, B., ter Hofstede, A. and van der Aalst, W. (2003). Fundamentals of control flow in workflows, Acta Informatica 39(3): 143-209.10.1007/s00236-002-0105-4]Search in Google Scholar
[Microsoft Corporation (2010). Microsoft Office Visio: Number the shapes in a flowchart http://office.microsoft.com/en-us/visio/HP866500731033.aspx]Search in Google Scholar
[RFF Electronics (2004). RFFlow user's guide http://www.rff.com]Search in Google Scholar
[Scheer, A.-W. (2000). ARIS—Business Process Modeling, Springer, Berlin.10.1007/978-3-642-57108-4]Search in Google Scholar
[Scheer, A.-W., Thomas, O. and Adam, O. (2005). Process modeling using event-driven process chains, in M. Dumas, W. M. P. van der Aalst and A. H. M. ter Hofstede (Eds.), Process-Aware Information Systems, John Wiley & Sons, Hoboken, NJ, pp. 119-145.10.1002/0471741442.ch6]Search in Google Scholar
[van der Aalst, W. M. P. (1999). Formalization and verification of event-driven process chains, Information and Software Technology 41(10): 639-650.10.1016/S0950-5849(99)00016-6]Search in Google Scholar
[Vanhatalo, J., Völzer, H. and Koehler, J. (2009). The refined process structure tree, Data & Knowledge Engineering 68(9): 793-818.10.1016/j.datak.2009.02.015]Search in Google Scholar
[Weber, I., Hoffmann, J. and Mendling, J. (2008). Beyond soundness: On the semantic consistency of executable process models, Proceedings of the 6th European Conference on Web Services, Dublin, Ireland, pp. 102-111.]Search in Google Scholar