1. Aalst, W.: Trends in business process analysis: From verification to process mining. In: Cardoso, J., Cordeiro, J., Filipe, J. (eds.) Proceedings of the 9th International Conference on Enterprise Information Systems (ICEIS 2007), pp. 12–22. Institute for Systems and Technologies of Information, Control and Communication, INSTICC, Medeira (2007)
2. Amzi!, http://www.amzi.com
3. Cormen, T.H., Leiserson, C.H., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. MIT Press, Cambridge (2009)
4. Corradini, F., Polzonetti, A., Re, B., Falcioni, D.: An ECLIPSE Plug-in for Formal Verification of BPMN Processes. In: Proceedings of the Third International Conference on Communication Theory, Reliability, and Quality of Service, pp. 144–149 (2010)
5. Davis, R.: Business Process Modeling with ARIS. A Practical Guide. Springer-Verlag, New York, Inc. (2001)