메뉴 건너뛰기




Volumn 328, Issue , 2016, Pages 558-576

Process mining with token carried data

Author keywords

Petri net; Process discovery; Process mining; Token; Token log; Workflow net

Indexed keywords

ALGORITHMS; PETRI NETS;

EID: 84945531064     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2015.08.050     Document Type: Article
Times cited : (17)

References (34)
  • 1
    • 76549086747 scopus 로고    scopus 로고
    • New region-based algorithms for deriving bounded petri nets
    • J. Carmona, J. Cortadella New region-based algorithms for deriving bounded petri nets IEEE Transac. Comput. 59 3 2010 371 384
    • (2010) IEEE Transac. Comput. , vol.59 , Issue.3 , pp. 371-384
    • Carmona, J.1    Cortadella, J.2
  • 2
    • 0001940342 scopus 로고    scopus 로고
    • Internet growth: Is there a Moore's law for data traffic?
    • Kluwer
    • K.G. Coman, A.M. Odlyzko Internet growth: is there a Moore's law for data traffic? Handbook of Massive Data Sets 2001 Kluwer 47 93
    • (2001) Handbook of Massive Data Sets , pp. 47-93
    • Coman, K.G.1    Odlyzko, A.M.2
  • 3
    • 0032108294 scopus 로고    scopus 로고
    • Discovering models of software processes from event-based data
    • J. Cook, A.L. Wolf Discovering models of software processes from event-based data ACM Transac. Softw. Eng. Methodol. (TOSEM) 7 1998 215 249
    • (1998) ACM Transac. Softw. Eng. Methodol. (TOSEM) , vol.7 , pp. 215-249
    • Cook, J.1    Wolf, A.L.2
  • 6
    • 61349181939 scopus 로고    scopus 로고
    • Classification and evaluation of timed running schemas for workflow based on process mining
    • H. Duan, Q. Zeng, H. Wang, S.X. Sun, D. Xu Classification and evaluation of timed running schemas for workflow based on process mining J. Syst. Softw. 82 2009 400 410
    • (2009) J. Syst. Softw. , vol.82 , pp. 400-410
    • Duan, H.1    Zeng, Q.2    Wang, H.3    Sun, S.X.4    Xu, D.5
  • 10
    • 84897073539 scopus 로고    scopus 로고
    • Service net algebra based on logic Petri nets
    • Q. Hu, Y. Du, S. Yu Service net algebra based on logic Petri nets Inform. Sci. 268 2014 271 289
    • (2014) Inform. Sci. , vol.268 , pp. 271-289
    • Hu, Q.1    Du, Y.2    Yu, S.3
  • 11
    • 84875413289 scopus 로고    scopus 로고
    • Secure interoperation design in multi-domains environments based on colored Petri nets
    • H. Huang, H. Kirchner Secure interoperation design in multi-domains environments based on colored Petri nets Inform. Sci. 221 2013 591 606
    • (2013) Inform. Sci. , vol.221 , pp. 591-606
    • Huang, H.1    Kirchner, H.2
  • 12
    • 84875215346 scopus 로고    scopus 로고
    • Creating process-agents incrementally by mining process asset library
    • H. Huang, J. Xiao, Q. Yang, Q. Wang, H. Wu Creating process-agents incrementally by mining process asset library Inform. Sci. 233 2013 183 199
    • (2013) Inform. Sci. , vol.233 , pp. 183-199
    • Huang, H.1    Xiao, J.2    Yang, Q.3    Wang, Q.4    Wu, H.5
  • 13
    • 38149072549 scopus 로고    scopus 로고
    • A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions
    • Z. Li, M. Zhou, M.D. Jeng A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions IEEE Transac. Autom. Sci. Eng. 5 2008 182 188
    • (2008) IEEE Transac. Autom. Sci. Eng. , vol.5 , pp. 182-188
    • Li, Z.1    Zhou, M.2    Jeng, M.D.3
  • 14
    • 40949111905 scopus 로고    scopus 로고
    • A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems
    • Z. Li, M. Zhou, N. Wu A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems IEEE Trans. Syst. Man Cybernet. 38 2008 173 188
    • (2008) IEEE Trans. Syst. Man Cybernet. , vol.38 , pp. 173-188
    • Li, Z.1    Zhou, M.2    Wu, N.3
  • 15
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and applications
    • T. Murata Petri nets: properties, analysis and applications Proc. IEEE 77 4 1989 541 580
    • (1989) Proc. IEEE , vol.77 , Issue.4 , pp. 541-580
    • Murata, T.1
  • 16
    • 84930348273 scopus 로고    scopus 로고
    • A semantic rule-based approach supported by process mining for personalised adaptive learning
    • K. Okoye, A.R.H. Tawil, U. Naeem, R. Bashroush, E. Lamine A semantic rule-based approach supported by process mining for personalised adaptive learning Proc. Comput. Sci. 37 2014 203 210
    • (2014) Proc. Comput. Sci. , vol.37 , pp. 203-210
    • Okoye, K.1    Tawil, A.R.H.2    Naeem, U.3    Bashroush, R.4    Lamine, E.5
  • 17
    • 0004006996 scopus 로고
    • Springer, Verlag, New York, Inc. New York, NY, USA
    • W. Reisig Petri Nets: An Introduction 1985 Springer, Verlag, New York, Inc. New York, NY, USA
    • (1985) Petri Nets: An Introduction
    • Reisig, W.1
  • 18
    • 35748949584 scopus 로고    scopus 로고
    • Conformance checking of process based on monitoring real behavior
    • A. Rozinat, W. van der Aalst Conformance checking of process based on monitoring real behavior Inform. Syst. 33 2008 64 95
    • (2008) Inform. Syst. , vol.33 , pp. 64-95
    • Rozinat, A.1    Van Der Aalst, W.2
  • 21
    • 76349087168 scopus 로고    scopus 로고
    • Process discovery: Capturing the invisible
    • W. van der Aalst Process discovery: capturing the invisible Computat. Intell. Mag. 5 1 2003 28 31
    • (2003) Computat. Intell. Mag. , vol.5 , Issue.1 , pp. 28-31
    • Van Der Aalst, W.1
  • 28
    • 84863107015 scopus 로고    scopus 로고
    • Discovering process models from event multiset
    • D. Wang, J. Ge, H. Hu, B. Luo, L. Huang Discovering process models from event multiset Exp. Syst. Appl. 39 2012 11970 11978
    • (2012) Exp. Syst. Appl. , vol.39 , pp. 11970-11978
    • Wang, D.1    Ge, J.2    Hu, H.3    Luo, B.4    Huang, L.5
  • 34
    • 47549117377 scopus 로고    scopus 로고
    • Conflict detection and resolution for workflows constrained by resources and non-determined durations
    • Q. Zeng, H. Wang, D. Xu, H. Duan, Y. Han Conflict detection and resolution for workflows constrained by resources and non-determined durations J. Syst. Softw. 81 2008 1491 1504
    • (2008) J. Syst. Softw. , vol.81 , pp. 1491-1504
    • Zeng, Q.1    Wang, H.2    Xu, D.3    Duan, H.4    Han, Y.5


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.