-
1
-
-
0002719897
-
The application of Petri nets to workflow management
-
10.1142/S0218126698000043
-
W.M.P. van der Aalst 1998 The application of Petri nets to workflow management J. Circ. Syst. Comput. 8 1 21 66 10.1142/S0218126698000043
-
(1998)
J. Circ. Syst. Comput.
, vol.8
, Issue.1
, pp. 21-66
-
-
Van Der Aalst, W.M.P.1
-
2
-
-
38149055702
-
ProM 4.0: Comprehensive support for real process analysis
-
Kleijn J., Yakovlev A. (eds.) Lecture Notes in Computer Science Springer, Berlin
-
van der Aalst, W.M.P., van Dongen, B.F., Günther, C.W., Mans, R.S., Alves De Medeiros, A.K., Rozinat, A., Rubin, V., Song, M., Verbeek, H.M.W., Weijters, A.J.M.M.: ProM 4.0: comprehensive support for real process analysis. In: Kleijn, J., Yakovlev, A., (eds.) Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007). Lecture Notes in Computer Science, vol. 4546, pp. 484-494. Springer, Berlin (2007)
-
(2007)
Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007)
, vol.4546
, pp. 484-494
-
-
Van Dongen, B.F.1
Günther, C.W.2
Mans, R.S.3
Alves De Medeiros, A.K.4
Rozinat, A.5
Rubin, V.6
Song, M.7
Verbeek, H.M.W.8
Weijters, A.J.M.M.9
Van Der Aalst, W.M.P.10
-
3
-
-
26444513721
-
Genetic process mining
-
G. Ciardo P. Darondeau (eds). Springer Berlin
-
van der Aalst W.M.P., Alves de Medeiros A.K., Weijters A.J.M.M.: Genetic process mining. In: Ciardo, G., Darondeau, P. (eds) Applications and Theory of Petri Nets 2005. Lecture Notes in Computer Science, vol. 3536, pp. 48-69. Springer, Berlin (2005)
-
(2005)
Applications and Theory of Petri Nets 2005. Lecture Notes in Computer Science, Vol. 3536
, pp. 48-69
-
-
Van Der Aalst, W.M.P.1
Alves De Medeiros, A.K.2
Weijters, A.J.M.M.3
-
4
-
-
34147190948
-
Business process mining: An industrial application
-
DOI 10.1016/j.is.2006.05.003, PII S0306437906000305
-
W.M.P. van der Aalst H.A. Reijers A.J.M.M. Weijters B.F. van Dongen A.K. Alves de Medeiros M. Song H.M.W. Verbeek 2007 Business process mining: an industrial application Inf. Syst. 32 5 713 732 10.1016/j.is.2006.05.003 (Pubitemid 46560274)
-
(2007)
Information Systems
, vol.32
, Issue.5
, pp. 713-732
-
-
Van Der Aalst, W.M.P.1
Reijers, H.A.2
Weijters, A.J.M.M.3
Van Dongen, B.F.4
Alves De Medeiros, A.K.5
Song, M.6
Verbeek, H.M.W.7
-
5
-
-
38049103579
-
Process mining: A two-step approach using transition systems and regions
-
BPMcenter.org
-
Van Der Aalst, W.M.P., Rubin, V., van Dongen, B.F., Kindler, E., Günther, C.W.: Process mining: a two-step approach using transition systems and regions. BPM Center Report BPM-06-30, BPMcenter.org (2006)
-
(2006)
BPM Center Report BPM-06-30
-
-
Van Der Aalst, W.M.P.1
Rubin, V.2
Van Dongen, B.F.3
Kindler, E.4
Günther, C.W.5
-
8
-
-
84890470685
-
Mining process models from workflow logs
-
Agrawal, R., Gunopulos, D., Leymann, F.: Mining process models from workflow logs. In: Proceedings of the Sixth International Conference on Extending Database Technology, pp. 469-483 (1998)
-
(1998)
Proceedings of the Sixth International Conference on Extending Database Technology
, pp. 469-483
-
-
Agrawal, R.1
Gunopulos, D.2
Leymann, F.3
-
9
-
-
0031248791
-
The synthesis problem for elementary net systems is NP-complete
-
0893.68111 10.1016/S0304-3975(96)00219-8 1478664
-
E. Badouel L. Bernardinello P. Darondeau 1997 The synthesis problem for elementary net systems is NP-complete Theor. Comput. Sci. 186 1-2 107 134 0893.68111 10.1016/S0304-3975(96)00219-8 1478664
-
(1997)
Theor. Comput. Sci.
, vol.186
, Issue.12
, pp. 107-134
-
-
Badouel, E.1
Bernardinello, L.2
Darondeau, P.3
-
10
-
-
0040880105
-
Theory of regions
-
W. Reisig G. Rozenberg (eds). Springer Berlin
-
Badouel E., Darondeau P.: Theory of regions. In: Reisig, W., Rozenberg, G. (eds) Lectures on Petri Nets I: Basic Models. Lecture Notes in Computer Science, vol. 1491, pp. 529-586. Springer, Berlin (1998)
-
(1998)
Lectures on Petri Nets I: Basic Models. Lecture Notes in Computer Science, Vol. 1491
, pp. 529-586
-
-
Badouel, E.1
Darondeau, P.2
-
11
-
-
38049100957
-
Process mining based on regions of languages
-
G. Alonso P. Dadam M. Rosemann (eds). Springer Berlin
-
Bergenthum R., Desel J., Lorenz R., Mauser S.: Process mining based on regions of languages. In: Alonso, G., Dadam, P., Rosemann, M. (eds) International Conference on Business Process Management (BPM 2007). Lecture Notes in Computer Science, vol. 4714, pp. 375-383. Springer, Berlin (2007)
-
(2007)
International Conference on Business Process Management (BPM 2007). Lecture Notes in Computer Science, Vol. 4714
, pp. 375-383
-
-
Bergenthum, R.1
Desel, J.2
Lorenz, R.3
Mauser, S.4
-
12
-
-
0032108294
-
Discovering models of software processes from event-based data
-
10.1145/287000.287001
-
J.E. Cook A.L. Wolf 1998 Discovering models of software processes from event-based data ACM Trans. Softw. Eng. Methodol. 7 3 215 249 10.1145/287000.287001
-
(1998)
ACM Trans. Softw. Eng. Methodol.
, vol.7
, Issue.3
, pp. 215-249
-
-
Cook, J.E.1
Wolf, A.L.2
-
14
-
-
0029486982
-
Synthesizing Petri Nets from state-based models
-
IEEE Computer Society, Los Alamitos
-
Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.: Synthesizing Petri Nets from state-based models. In: Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design (ICCAD '95), pp. 164-171. IEEE Computer Society, Los Alamitos (1995)
-
(1995)
Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design (ICCAD '95)
, pp. 164-171
-
-
Cortadella, J.1
Kishinevsky, M.2
Lavagno, L.3
Yakovlev, A.4
-
16
-
-
0032328790
-
Automating the discovery of As-Is business process models: Probabilistic and algorithmic approaches
-
10.1287/isre.9.3.275
-
A. Datta 1998 Automating the discovery of As-Is business process models: probabilistic and algorithmic approaches Inf. Syst. Res. 9 3 275 301 10.1287/isre.9.3.275
-
(1998)
Inf. Syst. Res.
, vol.9
, Issue.3
, pp. 275-301
-
-
Datta, A.1
-
18
-
-
0030533613
-
The synthesis problem of Petri nets
-
DOI 10.1007/s002360050046
-
J. Desel W. Reisig 1996 The synthesis problem of Petri nets Acta Inf. 33 4 297 315 10.1007/s002360050046 1395200 (Pubitemid 126083750)
-
(1996)
Acta Informatica
, vol.33
, Issue.4
, pp. 297-316
-
-
Desel, J.1
Reisig, W.2
-
19
-
-
44849127247
-
-
Desel J., Reisig W., Rozenberg G.: (eds) Springer-Verlag, Berlin
-
Desel, J., Reisig, W., Rozenberg, G.: (eds) Lectures on Concurrency and Petri Nets. Lecture Notes in Computer Science, vol. 3098, Springer-Verlag, Berlin (2004)
-
(2004)
Lectures on Concurrency and Petri Nets. Lecture Notes in Computer Science
, vol.3098
-
-
-
20
-
-
35048864795
-
Multi-phase process mining: Building instance graphs
-
P. Atzeni W. Chu H. Lu S. Zhou T.W. Ling (eds). Springer Berlin
-
van Dongen B.F., van der Aalst W.M.P.: Multi-phase process mining: building instance graphs. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.W. (eds) International Conference on Conceptual Modeling (ER 2004). Lecture Notes in Computer Science, vol. 3288., pp. 362-376. Springer, Berlin (2004)
-
(2004)
International Conference on Conceptual Modeling (ER 2004). Lecture Notes in Computer Science, Vol. 3288
, pp. 362-376
-
-
Van Dongen, B.F.1
Van Der Aalst, W.M.P.2
-
21
-
-
38049153327
-
Multi-phase mining: Aggregating instances graphs into EPCs and Petri nets
-
Marinescu, D. (ed.) Florida International University, Miami, Florida, USA
-
van Dongen, B.F., van der Aalst, W.M.P.: Multi-phase mining: aggregating instances graphs into EPCs and Petri nets. In: Marinescu, D. (ed.) Proceedings of the Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, pp. 35-58. Florida International University, Miami, Florida, USA (2005)
-
(2005)
Proceedings of the Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management
, pp. 35-58
-
-
Van Dongen, B.F.1
Van Der Aalst, W.M.P.2
-
23
-
-
0025405313
-
Partial (Set) 2-structures-part 1 and part 2
-
10.1007/BF00264611 1045460
-
A. Ehrenfeucht G. Rozenberg 1989 Partial (Set) 2-structures-part 1 and part 2 Acta Inf. 27 4 315 368 10.1007/BF00264611 1045460
-
(1989)
Acta Inf.
, vol.27
, Issue.4
, pp. 315-368
-
-
Ehrenfeucht, A.1
Rozenberg, G.2
-
25
-
-
33749611027
-
A generic import framework for process event logs
-
J. Eder S. Dustdar (eds). Springer Berlin
-
Günther C., van der Aalst W.M.P.: A generic import framework for process event logs. In: Eder, J., Dustdar, S. (eds) Business Process Management Workshops, Workshop on Business Process Intelligence (BPI 2006). Lecture Notes in Computer Science, vol. 4103, pp. 81-92. Springer, Berlin (2006)
-
(2006)
Business Process Management Workshops, Workshop on Business Process Intelligence (BPI 2006). Lecture Notes in Computer Science, Vol. 4103
, pp. 81-92
-
-
Günther, C.1
Van Der Aalst, W.M.P.2
-
28
-
-
33749620377
-
Process mining and Petri net synthesis
-
J. Eder S. Dustdar (eds). Springer Berlin
-
Kindler E., Rubin V., Schäfer W.: Process mining and Petri net synthesis. In: Eder, J., Dustdar, S. (eds) Business Process Management Workshops. Lecture Notes in Computer Science, vol 4103., pp. 105-116. Springer, Berlin (2006)
-
(2006)
Business Process Management Workshops. Lecture Notes in Computer Science, Vol. 4103
, pp. 105-116
-
-
Kindler, E.1
Rubin, V.2
Schäfer, W.3
-
29
-
-
51149116824
-
Synthesis of Petri nets from finite partial languages
-
T. Basten G. Juhás S.K. Shukla (eds). IEEE Computer Society Los Alamitos. 10.1109/ACSD.2007.34
-
Lorenz R., Bergenthum R., Desel J., Mauser S.: Synthesis of Petri nets from finite partial languages. In: Basten, T., Juhás, G., Shukla, S.K. (eds) International Conference on Application of Concurrency to System Design (ACSD 2007)., pp. 157-166. IEEE Computer Society, Los Alamitos (2007)
-
(2007)
International Conference on Application of Concurrency to System Design (ACSD 2007)
, pp. 157-166
-
-
Lorenz, R.1
Bergenthum, R.2
Desel, J.3
Mauser, S.4
-
30
-
-
49749102387
-
How to synthesize nets from languages: A survey
-
Henderson, S.G., Biller, B., Hsieh, M., Shortle, J., Tew, J.D., Barton, R.R. (eds.) IEEE Computer Society, Los Alamitos
-
Lorenz, R., Juh'as, G.: How to synthesize nets from languages: a survey. In: Henderson, S.G., Biller, B., Hsieh, M., Shortle, J., Tew, J.D., Barton, R.R. (eds.) Proceedings of the Winter simulation Conference (WSC 2007), pp. 637-647. IEEE Computer Society, Los Alamitos (2007)
-
(2007)
Proceedings of the Winter Simulation Conference (WSC 2007)
, pp. 637-647
-
-
Lorenz, R.1
Juh'As, G.2
-
31
-
-
44349169837
-
-
PhD thesis, Eindhoven University of Technology, Eindhoven
-
de Medeiros, A.K.A.: Genetic Process Mining. PhD thesis, Eindhoven University of Technology, Eindhoven (2006)
-
(2006)
Genetic Process Mining
-
-
De Medeiros, A.K.A.1
-
32
-
-
0242712942
-
Workflow mining: Current status and future directions
-
R. Meersman Z. Tari D.C. Schmidt (eds). Springer Berlin
-
de Medeiros A.K.A., van der Aalst W.M.P., Weijters A.J.M.M.: Workflow mining: current status and future directions. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds) On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE. Lecture Notes in Computer Science, vol. 2888, pp. 389-406. Springer, Berlin (2003)
-
(2003)
On the Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE. Lecture Notes in Computer Science, Vol. 2888
, pp. 389-406
-
-
De Medeiros, A.K.A.1
Van Der Aalst, W.M.P.2
Weijters, A.J.M.M.3
-
33
-
-
0033889106
-
Workflow-based process monitoring and controlling-technical and organizational issues
-
Sprague R. (ed.) IEEE Computer Society Press, Los Alamitos
-
zur Mühlen, M., Rosemann, M.: Workflow-based process monitoring and controlling-technical and organizational issues. In: Sprague, R. (ed.) Proceedings of the 33rd Hawaii International Conference on System Science (HICSS-33), pp. 1-10. IEEE Computer Society Press, Los Alamitos (2000)
-
(2000)
Proceedings of the 33rd Hawaii International Conference on System Science (HICSS-33)
, pp. 1-10
-
-
Zur Mühlen, M.1
-
36
-
-
33749996462
-
Decision mining in ProM
-
S. Dustdar J.L. Faideiro A. Sheth (eds). Springer Berlin
-
Rozinat A., van der Aalst W.M.P.: Decision mining in ProM. In: Dustdar, S., Faideiro, J.L., Sheth, A. (eds) International Conference on Business Process Management (BPM 2006). Lecture Notes in Computer Science, vol. 4102, pp. 420-425. Springer, Berlin (2006)
-
(2006)
International Conference on Business Process Management (BPM 2006). Lecture Notes in Computer Science, Vol. 4102
, pp. 420-425
-
-
Rozinat, A.1
Van Der Aalst, W.M.P.2
-
37
-
-
35748949584
-
Conformance checking of processes based on monitoring real behavior
-
DOI 10.1016/j.is.2007.07.001, PII S030643790700049X
-
A. Rozinat W.M.P. van der Aalst 2008 Conformance checking of processes based on monitoring real behavior Inf. Syst. 33 1 64 95 10.1016/j.is.2007.07.001 (Pubitemid 350051578)
-
(2008)
Information Systems
, vol.33
, Issue.1
, pp. 64-95
-
-
Rozinat, A.1
Van Der Aalst, W.M.P.2
-
38
-
-
0141748992
-
Business process cockpit
-
Morgan Kaufmann, USA
-
Sayal M., Casati, F., Dayal, U., Shan, M.C.: Business process cockpit. In: Proceedings of 28th International Conference on Very Large Data Bases (VLDBG'02), pp. 880-883. Morgan Kaufmann, USA (2002)
-
(2002)
Proceedings of 28th International Conference on Very Large Data Bases (VLDBG'02)
, pp. 880-883
-
-
Sayal, M.1
Casati, F.2
Dayal, U.3
Shan, M.C.4
-
39
-
-
72549097989
-
-
TIBCO. TIBCO Staffware Process Monitor (SPM).
-
TIBCO. TIBCO Staffware Process Monitor (SPM). http://www.tibco.com, 2005
-
-
-
-
40
-
-
0038002768
-
Rediscovering workflow models from event-based data using little thumb
-
A.J.M.M. Weijters W.M.P. van der Aalst 2003 Rediscovering workflow models from event-based data using little thumb Integr. Comput. Aided Eng. 10 2 151 162
-
(2003)
Integr. Comput. Aided Eng.
, vol.10
, Issue.2
, pp. 151-162
-
-
Weijters, A.J.M.M.1
Van Der Aalst, W.M.P.2
-
41
-
-
84883435609
-
Mining process models with non-free-choice constructs
-
DOI 10.1007/s10618-007-0065-y
-
L. Wen W.M.P. van der Aalst J. Wang J. Sun 2007 Mining process models with non-free-choice constructs Data Min. Knowl. Discov. 15 2 145 180 10.1007/s10618-007-0065-y 2409784 (Pubitemid 47293485)
-
(2007)
Data Mining and Knowledge Discovery
, vol.15
, Issue.2
, pp. 145-180
-
-
Wen, L.1
Van Der Aalst, W.M.P.2
Wang, J.3
Sun, J.4
-
42
-
-
48249100435
-
Process discovery using integer linear programming
-
van Hee K., Valk R. (eds.) Springer, Berlin
-
van der Werf, J.M.E.M., van Dongen, B.F., Hurkens, C.A.J., Serebrenik, A.: Process discovery using integer linear programming. In: van Hee, K., Valk, R., (eds.) Proceedings of the 29th International Conference on Applications and Theory of Petri Nets (Petri Nets 2008). Lecture Notes in Computer Science, vol. 5062, pp. 368-387. Springer, Berlin (2008)
-
(2008)
Proceedings of the 29th International Conference on Applications and Theory of Petri Nets (Petri Nets 2008). Lecture Notes in Computer Science
, vol.5062
, pp. 368-387
-
-
Van Der Werf, J.M.E.M.1
Van Dongen, B.F.2
Hurkens, C.A.J.3
Serebrenik, A.4
|