Author:
Mendt Tamara,Sinz Carsten,Tveretina Olga
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Knorr, K., Weidner, H.: Analyzing separation of duties in petri net workflows. In: MMM-ACNS, pp. 102–114 (2001)
2. Lawrence, L.G.: The role of roles. Computers and Security 12(1), 15–21 (1993)
3. LNBIP;T. Mendt,2011
4. Wynn, M.T., Verbeek, H.M.W., Aalst, W.M.P., Ter Hofstede, A.H.M., Edmond, D.: Business process verification - finally a reality! Business Process Management Journal 15(1), 74–92 (2007)
5. Janssen, W., Mateescu, R., Mauw, S., Springintveld, J.: Verifying business processes using spin. In: Proceedings of the 4th International SPIN Workshop, pp. 21–36 (1998)