On profiles and footprints - Relational semantics for Petri nets

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

Volumn 7347 LNCS, Issue , 2012, Pages 148-167

  Weidlich, Matthias ^a   Van Der Werf, Jan Martijn ^b  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTION HIERARCHY; ANALYSIS TECHNIQUES; BUSINESS PROCESS; BUSINESS PROCESS MODELLING; GENERALISATION; NET SYSTEMS; RELATIONAL SEMANTICS;

EQUIVALENCE CLASSES;

PETRI NETS;

EID: 84862501192     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-31131-4_9     Document Type: Conference Paper

References (31)

1. van der Aalst, W.M.P.: The application of Petri nets to workflow management. Journal of Circuits, Systems, and Computers 8(1), 21-66 (1998)
2. van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer, Berlin (2011)
3. van der Aalst, W.M.P., de Medeiros, A.K.A., Weijters, A.J.M.M.T.: Genetic Process Mining. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 48-69. Springer, Heidelberg (2005)
4. van der Aalst, W.M.P., van Hee, K.M., Massuthe, P., Sidorova, N., van der Werf, J.M.E.M.: Compositional Service Trees. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 283-302. Springer, Heidelberg (2009)
5. van der Aalst, W.M.P., Pesic, M., Schonenberg, M.H.: Declarative workflows: Balancing between flexibility and support. Computer Science - R&D 23(2), 99-113 (2009)
6. van der Aalst, W.M.P., Stahl, C.: Modeling Business Processes: A Petri Net-Oriented Approach. MIT Press (2011)
7. van der Aalst, W.M.P., Weijters, A.J.M.M., Maruster, L.: Workflow Mining: Discovering Process Models from Event Logs. Knowledge & Data Engineering 16(9), 1128-1142 (2004)
8. Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science, vol. 40. Cambridge University Press (1995)
9. van Dongen, B.F., 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)
10. Eshuis, R., Grefen, P.W.P.J.: Structural Matching of BPEL Processes. In: ECOWS, pp. 171-180. IEEE Computer Society (2007)
11. Esparza, J.: A polynomial-time algorithm for checking consistency of free-choice signal transition graphs. Fundamenta Informatica 62(2), 197-220 (2004)
12. Huan, L., Motoda, H. (eds.): Feature Extraction, Construction and Selection: A Data Mining Perspective. Springer, Berlin (1998)
13. Kovalyov, A., Esparza, J.: A polynomial algorithm to compute the concurrency relation of free-choice signal transition graphs. In: Proc. of the International Workshop on Discrete Event Systems (WODES), pp. 1-6. IEEE CS (1996)
14. Kunze, M., Weidlich, M., Weske, M.: Behavioral Similarity - A Proper Metric. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 166-181. Springer, Heidelberg (2011)
15. Li, C., Reichert, M., Wombacher, A.: Discovering Reference Models by Mining Process Variants Using a Heuristic Approach. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 344-362. Springer, Heidelberg (2009)
16. Li, C., Reichert, M., Wombacher, A.: Representing block-structured process models as order matrices: Basic concepts, formal properties, algorithms. Technical report, University of Twente, Enschede, The Netherlands (2009)
17. Lohmann, N., Verbeek, E., Dijkman, R.M.: Petri net transformations for business processes - a survey. T. Petri Nets and Other Models of Concurrency 2, 46-63 (2009)
18. Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, F.: Declarative specification and verification of service choreographiess. TWEB 4(1) (2010)
19. Oanea, O., Sürmeli, J., Wolf, K.: Service Discovery Using Communication Fingerprints. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 612-618. Springer, Heidelberg (2010)
20. Rosenblum, L.Y., Yakovlev, A.V.: Analysing semantics of concurrent hardware specifications. In: Int. Conf. on Parallel Processing (ICPP 1989), pp. 211-218 (1989)
21. Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64-95 (2008)
22. Smirnov, S., Weidlich, M., Mendling, J.: Business process model abstraction based on synthesis from well-structured behavioral profiles. International Journal of Cooperative Information Systems, IJCIS (to appear, 2012)
23. Smirnov, S.,Weidlich, M., Mendling, J.,Weske, M.: Action patterns in business process model repositories. Computers in Industry (COMIND) 63(2), 98-111 (2012)
24. Warshall, S.: A theorem on boolean matrices. Journal of the ACM 9(1), 11-12 (1962)
25. Weidlich, M., Mendling, J., Weske, M.: Efficient consistency measurement based on behavioral profiles of process models. IEEE Trans. Software Eng. 37(3), 410-429 (2011)
26. Weidlich, M., Polyvyanyy, A., Desai, N., Mendling, J., Weske, M.: Process compliance analysis based on behavioural profiles. Inf. Syst. 36(7), 1009-1025 (2011)
27. Weidlich, M., Weske, M., Mendling, J.: Change propagation in process models using behavioural profiles. In: IEEE SCC, pp. 33-40. IEEE CS (2009)
28. van der Werf, J.M.E.M., van Dongen, B.F., Hurkens, C.A.J., Serebrenik, A.: Process Discovery Using Integer Linear Programming. Fundamenta Informatica 94(3- 4), 387-412 (2009)
29. Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Berlin (2007)
30. Wolf, K.: Does My Service Have Partners? In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol. 5460, pp. 152-171. Springer, Heidelberg (2009)
31. Zha, H., Wang, J., Wen, L., Wang, C., Sun, J.: A workflow net similarity measure based on transition adjacency relations. Computers in Industry 61(5), 463-471 (2010)