-
3
-
-
84957675725
-
Polynomial algorithms for the synthesis of bounded nets
-
Mosses, P.D, Schwartzbach, M.I, Nielsen, M, eds, CAAP 1995, EASE 1995, and TAPS OFT 1995, Springer, Heidelberg
-
Badouel, E., Bernardinello, L., Darondeau, P.: Polynomial algorithms for the synthesis of bounded nets. In: Mosses, P.D., Schwartzbach, M.I., Nielsen, M. (eds.) CAAP 1995, EASE 1995, and TAPS OFT 1995. LNCS, vol. 915, pp. 364-383. Springer, Heidelberg (1995)
-
(1995)
LNCS
, vol.915
, pp. 364-383
-
-
Badouel, E.1
Bernardinello, L.2
Darondeau, P.3
-
4
-
-
38049100957
-
-
Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Process mining based on regions of languages. In: Proc. 5th Int. Conf. on Business Process Management, September 2007, pp. 375-383 (2007)
-
Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Process mining based on regions of languages. In: Proc. 5th Int. Conf. on Business Process Management, September 2007, pp. 375-383 (2007)
-
-
-
-
5
-
-
57049083204
-
-
Carmona, J., Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: A symbolic algorithm for the synthesis of bounded Petri nets. In: 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (June 2008)
-
Carmona, J., Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: A symbolic algorithm for the synthesis of bounded Petri nets. In: 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (June 2008)
-
-
-
-
6
-
-
0010646357
-
Deriving Petri nets from finite transition systems
-
Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.: Deriving Petri nets from finite transition systems. IEEE Transactions on Computers 47(8), 859-882 (1998)
-
(1998)
IEEE Transactions on Computers
, vol.47
, Issue.8
, pp. 859-882
-
-
Cortadella, J.1
Kishinevsky, M.2
Lavagno, L.3
Yakovlev, A.4
-
7
-
-
0030533613
-
The synthesis problem of Petri nets
-
Desel, J., Reisig, W.: The synthesis problem of Petri nets. Acta Inf. 33(4), 297-315 (1996)
-
(1996)
Acta Inf
, vol.33
, Issue.4
, pp. 297-315
-
-
Desel, J.1
Reisig, W.2
-
8
-
-
0025405313
-
Partial (Set) 2-Structures. Part 1, II
-
Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures. Part 1, II. Acta Informatica 27, 315-368 (1990)
-
(1990)
Acta Informatica
, vol.27
, pp. 315-368
-
-
Ehrenfeucht, A.1
Rozenberg, G.2
-
9
-
-
0002315079
-
Determinacy - (observation equivalence = trace equivalence)
-
Engelfriet, J.: Determinacy - (observation equivalence = trace equivalence). Theor. Comput. Sci. 36, 21-25 (1985)
-
(1985)
Theor. Comput. Sci
, vol.36
, pp. 21-25
-
-
Engelfriet, J.1
-
10
-
-
0003612514
-
-
John Wiley and Sons, London
-
Kishinevsky, M., Kondratyev, A., Taubin, A., Varshavsky, V.: Concurrent Hardware: The Theory and Practice of Self-Timed Design. John Wiley and Sons, London (1993)
-
(1993)
Concurrent Hardware: The Theory and Practice of Self-Timed Design
-
-
Kishinevsky, M.1
Kondratyev, A.2
Taubin, A.3
Varshavsky, V.4
-
11
-
-
0027113362
-
Elementary transition systems
-
Nielsen, M., Rozenberg, G., Thiagarajan, P.: Elementary transition systems. Theoretical Computer Science 96, 3-33 (1992)
-
(1992)
Theoretical Computer Science
, vol.96
, pp. 3-33
-
-
Nielsen, M.1
Rozenberg, G.2
Thiagarajan, P.3
-
13
-
-
57049168435
-
Process mining: A two-step approach to balance between underfitting and over-fitting
-
Technical Report BPM-08-01, BPM Center
-
van der Aalst, W., Rubin, V., Verbeek, H., van Dongen, B., Kindler, E., Günther, C.: Process mining: A two-step approach to balance between underfitting and over-fitting. Technical Report BPM-08-01, BPM Center (2008)
-
(2008)
-
-
van der Aalst, W.1
Rubin, V.2
Verbeek, H.3
van Dongen, B.4
Kindler, E.5
Günther, C.6
-
14
-
-
51149104379
-
-
van der Aalst, W.M.P., Günther, C.W.: Finding structure in unstructured processes: The case for process mining. In: Basten, T., Juhás, G., Shukla, S.K. (eds.) ACSD, pp. 3-12. IEEE Computer Society, Los Alamitos (2007)
-
van der Aalst, W.M.P., Günther, C.W.: Finding structure in unstructured processes: The case for process mining. In: Basten, T., Juhás, G., Shukla, S.K. (eds.) ACSD, pp. 3-12. IEEE Computer Society, Los Alamitos (2007)
-
-
-
-
15
-
-
38149055702
-
ProM 4.0: Comprehensive support for real process analysis
-
Kleijn, J, Yakovlev, A, eds, ICATPN 2007, Springer, Heidelberg
-
van der Aalst, W.M.P., van Dongen, B.F., Günther, C.W., Mans, R.S., de Medeiros, A.K.A., Rozinat, A., Rubin, V., Song, M., Verbeek, H.M.W.E., Weijters, A.J.M.M.: ProM 4.0: Comprehensive support for real process analysis. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 484-494. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4546
, pp. 484-494
-
-
van der Aalst, W.M.P.1
van Dongen, B.F.2
Günther, C.W.3
Mans, R.S.4
de Medeiros, A.K.A.5
Rozinat, A.6
Rubin, V.7
Song, M.8
Verbeek, H.M.W.E.9
Weijters, A.J.M.M.10
-
16
-
-
0141680986
-
Workflow mining: A survey of issues and approaches
-
van der Aalst, W.M.P., van Dongen, B.F., Herbst, J., Maruster, L., Schimm, G., Weijters, A.J.M.M.: Workflow mining: A survey of issues and approaches. Data Knowl. Eng. 47(2), 237-267 (2003)
-
(2003)
Data Knowl. Eng
, vol.47
, Issue.2
, pp. 237-267
-
-
van der Aalst, W.M.P.1
van Dongen, B.F.2
Herbst, J.3
Maruster, L.4
Schimm, G.5
Weijters, A.J.M.M.6
-
17
-
-
4544353101
-
Workflow mining: Discovering process models from event logs
-
van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: Discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128-1142 (2004)
-
(2004)
IEEE Trans. Knowl. Data Eng
, vol.16
, Issue.9
, pp. 1128-1142
-
-
van der Aalst, W.M.P.1
Weijters, T.2
Maruster, L.3
-
18
-
-
38049123840
-
An iterative algorithm for applying the theory of regions in process mining
-
Department of Technology Management, Eindhoven University of Technology
-
van Dongen, B., Busi, N., Pinna, G., van der Aalst, W.: An iterative algorithm for applying the theory of regions in process mining. Technical Report Beta rapport 195, Department of Technology Management, Eindhoven University of Technology (2007)
-
(2007)
Technical Report Beta rapport
, vol.195
-
-
van Dongen, B.1
Busi, N.2
Pinna, G.3
van der Aalst, W.4
-
19
-
-
48249089401
-
On Petri-net synthesis and attribute-based visualization
-
June, 2007
-
Verbeek, H., Pretorius, A., van der Aalst, W.M.P., van Wijk, J.J.: On Petri-net synthesis and attribute-based visualization. In: Proc. Workshop on Petri Nets and Software Engineering (PNSE 2007), June 2007, pp. 127-141 (2007)
-
(2007)
Proc. Workshop on Petri Nets and Software Engineering (PNSE
, pp. 127-141
-
-
Verbeek, H.1
Pretorius, A.2
van der Aalst, W.M.P.3
van Wijk, J.J.4
-
20
-
-
57049125392
-
-
Weijters, A., van der Aalst, W., de Medeiros, A.A.: Process mining with the heuristics miner-algorithm. Technical Report WP 166, BETA Working Paper Series, Eindhoven University of Technology (2006)
-
Weijters, A., van der Aalst, W., de Medeiros, A.A.: Process mining with the heuristics miner-algorithm. Technical Report WP 166, BETA Working Paper Series, Eindhoven University of Technology (2006)
-
-
-
|