-
1
-
-
43149123380
-
A feature-complete Petri net semantics for WS-BPEL 2.0
-
Dumas, M., Heckel, R. (eds.)WS-FM2007. Springer, Heidelberg
-
Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.)WS-FM2007. LNCS, vol. 4937, pp. 77-91. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.4937
, pp. 77-91
-
-
Lohmann, N.1
-
2
-
-
3242701587
-
Tool support for verifying UML activity diagrams
-
Eshuis, R., Wieringa, R.: Tool support for verifying UML activity diagrams. IEEE Trans. Software Eng. 30(7), 437-447 (2004)
-
(2004)
IEEE Trans. Software Eng.
, vol.30
, Issue.7
, pp. 437-447
-
-
Eshuis, R.1
Wieringa, R.2
-
3
-
-
52449135365
-
Verification of workflow nets
-
Azéma, P., Balbo, G. (eds.) ICATPN 1997. Springer, Heidelberg
-
Aalst, W.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407-426. Springer, Heidelberg (1997)
-
(1997)
LNCS
, vol.1248
, pp. 407-426
-
-
Aalst, W.1
-
4
-
-
0002719897
-
The application of Petri nets to workflow management
-
Aalst, W.: The application of Petri nets to workflow management. Journal of Circuits, Systems, and Computers 8(1), 21-66 (1998)
-
(1998)
Journal of Circuits, Systems, and Computers
, vol.8
, Issue.1
, pp. 21-66
-
-
Aalst, W.1
-
5
-
-
84976669902
-
Algorithm 447: Efficient algorithms for graph manipulation
-
Hopcroft, J., Tarjan, R.: Algorithm 447: efficient algorithms for graph manipulation. ACM Commun. 16(6), 372-378 (1973)
-
(1973)
ACM Commun.
, vol.16
, Issue.6
, pp. 372-378
-
-
Hopcroft, J.1
Tarjan, R.2
-
6
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541-580 (1989)
-
(1989)
Proceedings of the IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
7
-
-
0002367242
-
Analysis of petri nets by stepwise refinements
-
Valette, R.: Analysis of petri nets by stepwise refinements. J. Comput. Syst. Sci. 18(1), 35-46 (1979)
-
(1979)
J. Comput. Syst. Sci.
, vol.18
, Issue.1
, pp. 35-46
-
-
Valette, R.1
-
8
-
-
0002307971
-
Workflow verification: Finding control-flow errors using petri-net-based techniques
-
van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) BPM 2000. Springer, Heidelberg
-
Aalst, W.: Workflow verification: Finding control-flow errors using petri-net-based techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) BPM 2000. LNCS, vol. 1806, pp. 161-183. Springer, Heidelberg (2000)
-
(2000)
LNCS
, vol.1806
, pp. 161-183
-
-
Aalst, W.1
-
9
-
-
0001243769
-
Dividing a graph into triconnected components
-
Hopcroft, J., Tarjan, R.: Dividing a graph into triconnected components. SIAM Journal on Computing 2(3), 135-158 (1973)
-
(1973)
SIAM Journal on Computing
, vol.2
, Issue.3
, pp. 135-158
-
-
Hopcroft, J.1
Tarjan, R.2
-
10
-
-
84958530316
-
A linear time implementation of SPQR-trees
-
Marks, J. (ed.) GD 2000. Springer, Heidelberg
-
Gutwenger, C., Mutzel, P.: A linear time implementation of SPQR-trees. In: Marks, J. (ed.) GD 2000. LNCS, vol. 1984, pp. 77-90. Springer, Heidelberg (2001)
-
(2001)
LNCS
, vol.1984
, pp. 77-90
-
-
Gutwenger, C.1
Mutzel, P.2
-
11
-
-
79958208317
-
Simplified computation and generalization of the refined process structure tree
-
to appear, September
-
Polyvyanyy, A., Vanhatalo, J., Voelzer, H.: Simplified computation and generalization of the refined process structure tree. In: WS-FM, Hoboken, NJ, US, (to appear, September 2010)
-
(2010)
WS-FM, Hoboken, NJ, US
-
-
Polyvyanyy, A.1
Vanhatalo, J.2
Voelzer, H.3
-
12
-
-
77955356972
-
Efficient computation of causal behavioural profiles using structural decomposition
-
Lilius, J., Penczek, W. (eds.) Applications and Theory of Petri Nets. Springer, Heidelberg
-
Weidlich, M., Polyvyanyy, A., Mendling, J., Weske, M.: Efficient computation of causal behavioural profiles using structural decomposition. In: Lilius, J., Penczek, W. (eds.) Applications and Theory of Petri Nets. LNCS, vol. 6128, pp. 63-83. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6128
, pp. 63-83
-
-
Weidlich, M.1
Polyvyanyy, A.2
Mendling, J.3
Weske, M.4
-
13
-
-
70349303600
-
Instantaneous soundness checking of industrial business process models
-
Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. Springer, Heidelberg
-
Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., Völzer, H., Wolf, K.: Instantaneous soundness checking of industrial business process models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 278-293. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5701
, pp. 278-293
-
-
Fahland, D.1
Favre, C.2
Jobstmann, B.3
Koehler, J.4
Lohmann, N.5
Völzer, H.6
Wolf, K.7
-
14
-
-
38349014920
-
Faster and more focused control-flow analysis for business process models through SESE decomposition
-
Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. Springer, Heidelberg
-
Vanhatalo, J., Völzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models through SESE decomposition. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 43-55. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4749
, pp. 43-55
-
-
Vanhatalo, J.1
Völzer, H.2
Leymann, F.3
-
15
-
-
85034854874
-
Transformations and decompositions of nets
-
Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. Springer, Heidelberg
-
Berthelot, G.: Transformations and decompositions of nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 254, pp. 359-376. Springer, Heidelberg (1987)
-
(1987)
LNCS
, vol.254
, pp. 359-376
-
-
Berthelot, G.1
-
17
-
-
78650154791
-
Structural abstraction of process specifications
-
Polyvyanyy, A.: Structural abstraction of process specifications. In: ZEUS (2010)
-
(2010)
ZEUS
-
-
Polyvyanyy, A.1
|