-
1
-
-
79551529484
-
XES, XESame, and ProM 6
-
Vol 72 of LNBIP., Springer
-
Verbeek, H.M.W., Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: XES, XESame, and ProM 6. In: CAiSE Forum. Vol. 72 of LNBIP., Springer (2010) 60-75
-
(2010)
CAiSE Forum
, pp. 60-75
-
-
Verbeek, H.M.W.1
Buijs, J.C.A.M.2
Van Dongen, B.F.3
Van Der Aalst, W.M.P.4
-
2
-
-
67349182611
-
The refined process structure tree
-
Vanhatalo, J., Völzer, H., Koehler, J.: The refined process structure tree. Data Knowl. Eng. 68(9) (2009) 793-818
-
(2009)
Data Knowl. Eng.
, vol.68
, Issue.9
, pp. 793-818
-
-
Vanhatalo, J.1
Völzer, H.2
Koehler, J.3
-
3
-
-
79953067772
-
Simplified computation and generalization of the refined process structure tree
-
Vol. 6551 of LNCS., Springer
-
Polyvyanyy, A., Vanhatalo, J., Völzer, H.: Simplified computation and generalization of the refined process structure tree. In: WS-FM. Vol. 6551 of LNCS., Springer (2010) 25-41
-
(2010)
WS-FM
, pp. 25-41
-
-
Polyvyanyy, A.1
Vanhatalo, J.2
Völzer, H.3
-
4
-
-
79957803658
-
Efficient consistency measurement based on behavioral profiles of process models
-
Weidlich, M., Mendling, J., Weske, M.: Efficient consistency measurement based on behavioral profiles of process models. IEEE Trans. Software Eng. 37(3) (2011) 410-429
-
(2011)
IEEE Trans. Software Eng.
, vol.37
, Issue.3
, pp. 410-429
-
-
Weidlich, M.1
Mendling, J.2
Weske, M.3
-
5
-
-
0034274870
-
An open graph visualization system and its applications to software engineering
-
Gansner, E.R., North, S.C.: An open graph visualization system and its applications to software engineering. Software. Practice and Experience 30(11) (2000) 1203-1233
-
(2000)
Software. Practice and Experience
, vol.30
, Issue.11
, pp. 1203-1233
-
-
Gansner, E.R.1
North, S.C.2
-
6
-
-
52449135365
-
Verification of workflow nets
-
Vol. 1248 of LNCS., Springer
-
van der Aalst, W.M.P.: Verification of Workflow nets. In: ICATPN. Vol. 1248 of LNCS., Springer (1997) 407-426
-
(1997)
ICATPN
, pp. 407-426
-
-
Van Der Aalst, W.M.P.1
-
8
-
-
0001790593
-
Depth-first search and linear graph algorithms
-
Tarjan, R.E.: Depth-first search and linear graph algorithms. SIAMCOMP 1(2) (1972) 146-160
-
(1972)
SIAMCOMP
, vol.1
, Issue.2
, pp. 146-160
-
-
Tarjan, R.E.1
-
11
-
-
84890616478
-
Flexab - Flexible business process model abstraction
-
Vol. 734 of CEUR Workshop Proceedings., CEUR-WS.org
-
Weidlich, M., Smirnov, S., Wiggert, C., Weske, M.: Flexab - flexible business process model abstraction. In: CAiSE Forum. Vol. 734 of CEUR Workshop Proceedings., CEUR-WS.org (2011) 17-24
-
(2011)
CAiSE Forum
, pp. 17-24
-
-
Weidlich, M.1
Smirnov, S.2
Wiggert, C.3
Weske, M.4
-
12
-
-
57049164245
-
Oryx - An open modeling platform for the BPM community
-
Vol. 5240 of LNCS., Springer
-
Decker, G., Overdick, H., Weske, M.: Oryx - an open modeling platform for the BPM community. In: BPM. Vol. 5240 of LNCS., Springer (2008) 382-385
-
(2008)
BPM
, pp. 382-385
-
-
Decker, G.1
Overdick, H.2
Weske, M.3
-
13
-
-
78049296490
-
How to implement a theory of correctness in the area of business processes and services
-
Vol. 6336 of LNCS., Springer
-
Lohmann, N., Wolf, K.: How to implement a theory of correctness in the area of business processes and services. In: BPM. Vol. 6336 of LNCS., Springer (2010)
-
(2010)
BPM
-
-
Lohmann, N.1
Wolf, K.2
|