-
1
-
-
76549086747
-
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
-
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
-
6
-
-
61349181939
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
-
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
-
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
-
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
-
27
-
-
48249100435
-
Process discover using integer linear programming
-
Springer
-
J.M. van der Werf, B. van Dongen, K. van Hee, C. Hurkens, A. Serebrenik Process discover using integer linear programming Applications and Theory of Petri Nets, Lecture Notes in Computer Science 5062 2009 Springer 368 387
-
(2009)
Applications and Theory of Petri Nets, Lecture Notes in Computer Science
, vol.5062
, pp. 368-387
-
-
Van Der Werf, J.M.1
Van Dongen, B.2
Van Hee, K.3
Hurkens, C.4
Serebrenik, A.5
-
28
-
-
84863107015
-
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
-
30
-
-
62249195621
-
A novel approach for process mining based on event types
-
L. Wen, J. Wang, W. van der Aalst, B. Huang, J. Sun A novel approach for process mining based on event types J. Intellig. Inform. Syst. 32 2009 163 190
-
(2009)
J. Intellig. Inform. Syst.
, vol.32
, pp. 163-190
-
-
Wen, L.1
Wang, J.2
Van Der Aalst, W.3
Huang, B.4
Sun, J.5
-
31
-
-
77956342581
-
Mining process models with prime invisible tasks
-
L. Wen, J. Wang, W. van der Aalst, B. Huang, J. Sun Mining process models with prime invisible tasks Data Knowl. Eng. 69 2010 999 1021
-
(2010)
Data Knowl. Eng.
, vol.69
, pp. 999-1021
-
-
Wen, L.1
Wang, J.2
Van Der Aalst, W.3
Huang, B.4
Sun, J.5
-
32
-
-
58049105071
-
Soundness-preserving reduction rules for reset workflow nets
-
M.T. Wynn, H.M.W. Verbeek, W.M.P. van der Aalst, A.H.M. ter Hofstede, D. Edmond Soundness-preserving reduction rules for reset workflow nets Inform. Sci. 179 2009 769 790
-
(2009)
Inform. Sci.
, vol.179
, pp. 769-790
-
-
Wynn, M.T.1
Verbeek, H.M.W.2
Van Der Aalst, W.M.P.3
Ter Hofstede, A.H.M.4
Edmond, D.5
-
34
-
-
47549117377
-
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
|