Numbering action vertices in workflow graphs

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-4Search in Google Scholar

Microsoft Corporation (2010). Microsoft Office Visio: Number the shapes in a flowchart http://office.microsoft.com/en-us/visio/HP866500731033.aspxSearch in Google Scholar

RFF Electronics (2004). RFFlow user's guide http://www.rff.comSearch in Google Scholar

Scheer, A.-W. (2000). ARIS—Business Process Modeling, Springer, Berlin.10.1007/978-3-642-57108-4Search 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.ch6Search 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-6Search 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.015Search 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