Generalised computation of behavioural profiles based on petri-net unfoldings

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6551 LNCS, Issue , 2011, Pages 101-115

  Weidlich, Matthias ^a   Elliger, Felix ^a   Weske, Mathias ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIOURAL CONSISTENCY; CONSISTENCY CRITERIA; EQUIVALENCE CRITERIA; PROCESS MODEL; TRACE EQUIVALENCE; UNFOLDINGS; WORKFLOW NETS;

ALGORITHMS; ENTERPRISE RESOURCE MANAGEMENT; FORMAL METHODS; GRAPH THEORY; PETRI NETS;

WEB SERVICES;

EID: 79953087972     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19589-1_7     Document Type: Conference Paper

References (26)

1. Dumas, M., García-Bañuelos, L., Dijkman, R.M.: Similarity search of business process models. IEEE Data Eng. Bull. 32(3), 23-28 (2009)
2. van der Aalst, W.M.P.: Inheritance of business processes: A journey visiting four notorious problems. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 383-408. Springer, Heidelberg (2003)
3. Weidlich, M., Mendling, J., Weske, M.: Efficient consistency measurement based on behavioural profiles of process models. IEEE Transactions on Software Engineering (2010) (to appear)
4. Weidlich, M., Polyvyanyy, A., Mendling, J., Weske, M.: Efficient computation of causal behavioural profiles using structural decomposition. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol. 6128, pp. 63-83. Springer, Heidelberg (2010)
5. Weidlich, M., Polyvyanyy, A., Desai, N., Mendling, J.: Process compliance measurement based on behavioural profiles. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol. 6051, pp. 483-498. Springer, Heidelberg (2010)
6. Weidlich, M., Weske, M., Mendling, J.: Change propagation in process models using behavioural profiles. In: IEEE SCC, pp. 33-40. IEEE CS, Los Alamitos (2009)
7. Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., Völzer, H., Wolf, K.: Instantaneous soundness checking of industrial business process models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 278-293. Springer, Heidelberg (2009)
8. Martens, A.: On Compatibility of Web Services. Petri Net Newsletter 65, 12-20 (2003)
9. Dijkman, R., Dumas, M., Ouyang, C.: Semantics and Analysis of Business Process Models in BPMN. IST 50(12), 1281-1294 (2009)
10. Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 77-91. Springer, Heidelberg (2008) (Pubitemid 351641718)
11. Kindler, E.: On the semantics of EPCs: A framework for resolving the vicious circle. In: Desel, J., Pernici, B., Weske, M. (eds.) BPM 2004. LNCS, vol. 3080, pp. 82-97. Springer, Heidelberg (2004)
12. Lohmann, N., Verbeek, E., Dijkman, R.M.: Petri net transformations for business processes - a survey. TOPNOC 2, 46-63 (2009)
13. Valmari, A.: The state explosion problem. In: Reisig, W., Rozenberg, G. (eds.) Petri Nets1998. LNCS, vol. 1491, pp. 429-528. Springer, Heidelberg (1998)
14. McMillan, K.L.: A technique of state space search based on unfolding. FMSD 6(1), 45-65 (1995)
15. Esparza, J., Heljanko, K.: Unfoldings: a partial-order approach to model checking. Springer, Heidelberg (2008)
16. Esparza, J., Römer, S., Vogler, W.: An improvement of mcmillan's unfolding algorithm. FMSD 20(3), 285-310 (2002) (Pubitemid 34448852)
17. Kondratyev, A., Kishinevsky, M., Taubin, A., Ten, S.: Analysis of petri nets by ordering relations in reduced unfoldings. FMSD 12(1), 5-38 (1998) (Pubitemid 128513360)
18. Esparza, J., Heljanko, K.: A new unfolding approach to ltl model checking. In: Welzl, E., Montanari, U., Rolim, J.D.P. (eds.) ICALP 2000. LNCS, vol. 1853, pp. 475-486. Springer, Heidelberg (2000)
19. Khomenko, V., Koutny, M., Yakovlev, A.: Logic synthesis for asynchronous circuits based on stg unfoldings and incremental sat. Fundam. Inform. 70(1-2), 49-73 (2006) (Pubitemid 43282588)
20. Polyvyanyy, A., García-Bañuelos, L.L., Dumas, M.: Structuring acyclic process models. In: BPM (September 2010) (to appear)
21. Glabbeek, R., Goltz, U.: Refinement of actions and equivalence notions for concurrent systems. Acta Inf. 37(4/5), 229-327 (2001) (Pubitemid 33588635)
22. Wombacher, A.: Evaluation of technical measures for workflow similarity based on a pilot study. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 255-272. Springer, Heidelberg (2006) (Pubitemid 44891960)
23. Dongen, B., Dijkman, R.M., Mendling, J.: Measuring similarity between business process models. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 450-464. Springer, Heidelberg (2008)
24. van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: Discovering process models from event logs. IEEE TKDE 16(9), 1128-1142 (2004)
25. Smirnov, S., Weidlich, M., Mendling, J., Weske, M.: Action patterns in business process models. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 115-129. Springer, Heidelberg (2009)
26. Desel, J., Juhás, G., Neumair, C.: Finite unfoldings of unbounded petri nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 157-176. Springer, Heidelberg (2004)