-
1
-
-
52449135365
-
Verification of Workflow Nets
-
Azéma, P, Balbo, G, eds, ICATPN 1997, Springer, Heidelberg
-
van der Aalst, W.M.P.: 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
-
-
van der Aalst, W.M.P.1
-
2
-
-
0001838826
-
Interorganizational Workflows: An approach based on Message Sequence Charts and Petri Nets
-
van der Aalst, W.M.P.: Interorganizational Workflows: An approach based on Message Sequence Charts and Petri Nets. Systems analysis, modelling, simulation 37(3), 335-381 (1999)
-
(1999)
Systems analysis, modelling, simulation
, vol.37
, Issue.3
, pp. 335-381
-
-
van der Aalst, W.M.P.1
-
4
-
-
23144446332
-
Internal Modals and Anticipations in Adaptive Learning Systems
-
Butz, M.V, Sigaud, O, Gérard, P, eds, Anticipatory Behavior in Adaptive Learning Systems, Springer, Heidelberg
-
Butz, M.V., Sigaud, O., Gerard, P.: Internal Modals and Anticipations in Adaptive Learning Systems. In: Butz, M.V., Sigaud, O., Gérard, P. (eds.) Anticipatory Behavior in Adaptive Learning Systems. LNCS (LNAI), vol. 2684, pp. 86-109. Springer, Heidelberg (2003)
-
(2003)
LNCS (LNAI
, vol.2684
, pp. 86-109
-
-
Butz, M.V.1
Sigaud, O.2
Gerard, P.3
-
5
-
-
0000107367
-
A Framework for Autonomous Agents Based on the Concept of Anticipatory Systems
-
World Scientific, Singapore
-
Davidsson, P., Astor, E., Ekdahl, B.: A Framework for Autonomous Agents Based on the Concept of Anticipatory Systems. In: Proc. of Cybernetics and Systems 1994, pp. 1427-1431. World Scientific, Singapore (1994)
-
(1994)
Proc. of Cybernetics and Systems
, pp. 1427-1431
-
-
Davidsson, P.1
Astor, E.2
Ekdahl, B.3
-
6
-
-
0142055195
-
Agents as Anticipatory Systems
-
Ekdahl, B.: Agents as Anticipatory Systems. In: Proc. of SCI'OO and ISAS'OO, pp. 133-137 (2000)
-
(2000)
Proc. of SCI'OO and ISAS'OO
, pp. 133-137
-
-
Ekdahl, B.1
-
7
-
-
0345958726
-
A Workflow Change is a Workflow
-
van der Aalst, W.M.P, Desel, J, Oberweis, A, eds, Business Process Management, Springer, Heidelberg
-
Ellis, CA., Keddara, K.: A Workflow Change is a Workflow. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 201-217. Springer, Heidelberg (2000)
-
(2000)
LNCS
, vol.1806
, pp. 201-217
-
-
Ellis, C.A.1
Keddara, K.2
-
8
-
-
35048849079
-
-
Hamadi, R., Benatallah, B.: Recovery Nets: Towards Self-Adaptive Workflow Systems. In: Zhou, X., Su, S., Papazoglou, M.M.P., Orlowska, M.E., Jeffery, K.G. (eds.) WISE 2004. LNCS, 3306, pp. 439-453. Springer, Heidelberg (2004)
-
Hamadi, R., Benatallah, B.: Recovery Nets: Towards Self-Adaptive Workflow Systems. In: Zhou, X., Su, S., Papazoglou, M.M.P., Orlowska, M.E., Jeffery, K.G. (eds.) WISE 2004. LNCS, vol. 3306, pp. 439-453. Springer, Heidelberg (2004)
-
-
-
-
9
-
-
84958784177
-
An Introduction to the Theoretical Aspects of Coloured Petri Nets
-
de Bakker, J.W, de Roever, W.-P, Rozenberg, G, eds, A Decade of Concurrency, Springer, Heidelberg
-
Jensen, K.: An Introduction to the Theoretical Aspects of Coloured Petri Nets. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) A Decade of Concurrency. LNCS, vol. 803, pp. 230-272. Springer, Heidelberg (1993)
-
(1993)
LNCS
, vol.803
, pp. 230-272
-
-
Jensen, K.1
-
11
-
-
38149078404
-
Intelligent Products: An Application of Agent-Based Ubiquitous Computing
-
Meyer, G.G.: Intelligent Products: an Application of Agent-Based Ubiquitous Computing. Accepted for: ABUC'07 (2007)
-
(2007)
Accepted for: ABUC'07
-
-
Meyer, G.G.1
-
12
-
-
0004068620
-
-
PhD thesis. Institut fur instrumentelle Mathematik, Bonn
-
Petri, C.A.: Kommunikation mit Automaten. PhD thesis. Institut fur instrumentelle Mathematik, Bonn (1962)
-
(1962)
Kommunikation mit Automaten
-
-
Petri, C.A.1
-
13
-
-
37249091344
-
Intervention and Escape Mode
-
Padgham, L, Zambonelli, F, eds, AOSE VII, AOSE 2006, Springer, Heidelberg
-
Roest, G.B., Szirbik, N.B.: Intervention and Escape Mode. In: Padgham, L., Zambonelli, F. (eds.) AOSE VII / AOSE 2006. LNCS, vol. 4405, pp. 109-120. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4405
, pp. 109-120
-
-
Roest, G.B.1
Szirbik, N.B.2
-
15
-
-
0035502057
-
Petri net-based modelling of workflow systems: An overview
-
Salimifard, K., Wright, M.: Petri net-based modelling of workflow systems: An overview. European journal of operational research 134(3), 664-678 (2001)
-
(2001)
European journal of operational research
, vol.134
, Issue.3
, pp. 664-678
-
-
Salimifard, K.1
Wright, M.2
-
16
-
-
37249064375
-
-
Stuit, M., Szirbik, N.B.: Modelling and Executing Complex and Dynamic Business Processes by Reification of Agent Interactions. O'Grady, M.(ed.) Accepted for Lecture Notes in Artificial Intelligence (2007)
-
Stuit, M., Szirbik, N.B.: Modelling and Executing Complex and Dynamic Business Processes by Reification of Agent Interactions. O'Grady, M.(ed.) Accepted for Lecture Notes in Artificial Intelligence (2007)
-
-
-
-
17
-
-
67650237143
-
Interaction Beliefs: A Way to Understand Emergent Organisational Behaviour
-
Funchal, Madeira, Portugal
-
Stuit, M., Szirbik, N.B., de Snoo, C.: Interaction Beliefs: a Way to Understand Emergent Organisational Behaviour. Accepted for: ICEIS'07, Funchal, Madeira, Portugal (2007)
-
(2007)
Accepted for: ICEIS'07
-
-
Stuit, M.1
Szirbik, N.B.2
de Snoo, C.3
|