References
- Cormen, T. H., Leiserson, C. E., Rivest, R. L. and Stein, C. (2001). Introduction to Algorithms, MIT Press, Cambridge, MA.
- Kiepuszewski, B., ter Hofstede, A. and van der Aalst, W. (2003). Fundamentals of control flow in workflows, Acta Informatica 39(3): 143-209.
- Microsoft Corporation (2010). Microsoft Office Visio: Number the shapes in a flowchart http://office.microsoft.com/en-us/visio/HP866500731033.aspx
- RFF Electronics (2004). RFFlow user's guide http://www.rff.com
- Scheer, A.-W. (2000). ARIS—Business Process Modeling, Springer, Berlin.
- 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.
- van der Aalst, W. M. P. (1999). Formalization and verification of event-driven process chains, Information and Software Technology 41(10): 639-650.
- Vanhatalo, J., Völzer, H. and Koehler, J. (2009). The refined process structure tree, Data & Knowledge Engineering 68(9): 793-818.
- 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.