-
1
-
-
52449135365
-
Verification of Workflow Nets
-
In P. Azéma and G. Balbo, editors, Springer-Verlag, Berlin
-
W.M.P. van der Aalst. Verification of Workflow Nets. In P. Azéma and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science, pages 407–426. Springer-Verlag, Berlin, 1997.
-
(1997)
Application and Theory of Petri Nets 1997, Volume 1248 of Lecture Notes in Computer Science
, pp. 407-426
-
-
van der Aalst, W.M.P.1
-
2
-
-
0002719897
-
The Application of Petri Nets toWorkflow Management. The Journal of Circuits
-
W.M.P. van der Aalst. The Application of Petri Nets toWorkflow Management. The Journal of Circuits, Systems and Computers, 8(1):21–66, 1998.
-
(1998)
Systems and Computers
, vol.8
, Issue.1
, pp. 21-66
-
-
Van Der Aalst, W.1
-
3
-
-
0001838826
-
Interorganizational Workflows: An Approach based on Message Sequence Charts and Petri Nets
-
W.M.P. van der Aalst. Interorganizational Workflows: An Approach based on Message Sequence Charts and Petri Nets. Systems Analysis - Modelling - Simulation, 34(3):335–367, 1999.
-
(1999)
Systems Analysis - Modelling - Simulation
, vol.34
, Issue.3
, pp. 335-367
-
-
Van Der Aalst, W.1
-
4
-
-
0033319977
-
Process-oriented Architectures for Electronic Commerce and Interorganizational Workflow
-
W.M.P. van der Aalst. Process-oriented Architectures for Electronic Commerce and Interorganizational Workflow. Information Systems, 24(8):??–??, 2000.
-
(2000)
Information Systems
, vol.24
, Issue.8
-
-
Van Der Aalst, W.1
-
5
-
-
34547681454
-
-
Technical report cu-cs-900-00, University Of Colorado at Boulder, February 2000
-
W.M.P. van der Aalst, P. Barthelmess, C.A. Ellis, and J. Wainer. Workflow modeling using proclets. Technical report cu-cs-900-00, University Of Colorado at Boulder, February 2000. http://www.cs.colorado.edu/skip/proclets.pdf.
-
Workflow Modeling Using Proclets
-
-
Van Der Aalst, W.1
Barthelmess, P.2
Ellis, C.A.3
Wainer, J.4
-
6
-
-
0032027597
-
Modeling and Analysis ofWorkflows using Petri Nets
-
N.R. Adam, V. Atluri, and W. Huang. Modeling and Analysis ofWorkflows using Petri Nets. Journal of Intelligent Information Systems, 10(2):131–158, 1998.
-
(1998)
Journal of Intelligent Information Systems
, vol.10
, Issue.2
, pp. 131-158
-
-
Adam, N.R.1
Atluri, V.2
Huang, W.3
-
7
-
-
0141448422
-
Cooperation support in the spade environment: A case study
-
Chicago, June
-
S. Bandinelli, M. Braga, A. Fuggetta, and L. Lavazza. Cooperation support in the spade environment: a case study. In Proceedings of the Workshop on Computer Supported Cooperative Work, Petri nets, and Related Formalisms (14th International Conference on Application and Theory of Petri Nets), Chicago, June 1993. http://ftpse.elet.polimi.it/dist/Papers/ProcessModeling/CSCWPN93.ps.
-
(1993)
Proceedings of the Workshop on Computer Supported Cooperative Work, Petri Nets, and Related Formalisms (14Th International Conference on Application and Theory of Petri Nets)
-
-
Bandinelli, S.1
Braga, M.2
Fuggetta, A.3
Lavazza, L.4
-
8
-
-
0029194055
-
Workflow systems: A few definitions and a few suggestions
-
In N. Comstock and C.A. Ellis, editors, Milpitas, California, September, ACM Press
-
P. Barthelmess and J. Wainer. Workflow systems: a few definitions and a few suggestions. In N. Comstock and C.A. Ellis, editors, Proceedings of the Conference on Organizational Computing Systems - COOCS’95, pages 138–147, Milpitas, California, September 1995. ACM Press.
-
(1995)
Proceedings of the Conference on Organizational Computing Systems - COOCS’95
, pp. 138-147
-
-
Barthelmess, P.1
Wainer, J.2
-
9
-
-
0003547470
-
-
Addison Wesley, Reading, MA, USA
-
G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison Wesley, Reading, MA, USA, 1998.
-
(1998)
The Unified Modeling Language User Guide
-
-
Booch, G.1
Rumbaugh, J.2
Jacobson, I.3
-
10
-
-
84869504949
-
Conceptual modeling of workflows
-
Gold Cost, Australia
-
F. Casati, S. Ceri, B. Pernici, and G. Pozzi. Conceptual modeling of workflows. In Proceedings of the OOER International Conference, Gold Cost, Australia, 1995.
-
(1995)
Proceedings of the OOER International Conference
-
-
Casati, F.1
Ceri, S.2
Pernici, B.3
Pozzi, G.4
-
12
-
-
0018727807
-
Information Control Nets: A Mathematical Model of Office Information Flow
-
Boulder, Colorado, 1979. ACM Press
-
C.A. Ellis. Information Control Nets: A Mathematical Model of Office Information Flow. In Proceedings of the Conference on Simulation, Measurement and Modeling of Computer Systems, pages 225–240, Boulder, Colorado, 1979. ACM Press.
-
Proceedings of the Conference on Simulation, Measurement and Modeling of Computer Systems
, pp. 225-240
-
-
Ellis, C.A.1
-
13
-
-
85008025823
-
Modelling and Enactment of Workflow Systems
-
In M. Ajmone Marsan, editor, Springer-Verlag, Berlin
-
C.A. Ellis and G.J. Nutt. Modelling and Enactment of Workflow Systems. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 1–16. Springer-Verlag, Berlin, 1993.
-
(1993)
Application and Theory of Petri Nets 1993, Volume 691 of Lecture Notes in Computer Science
, pp. 1-16
-
-
Ellis, C.A.1
Nutt, G.J.2
-
16
-
-
33747074188
-
An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure
-
D. Georgakopoulos, M. Hornick, and A. Sheth. An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases, 3:119–153, 1995.
-
(1995)
Distributed and Parallel Databases
, vol.3
, pp. 119-153
-
-
Georgakopoulos, D.1
Hornick, M.2
Sheth, A.3
-
18
-
-
0003955793
-
-
International Thomson Computer Press, London, UK
-
S. Jablonski and C. Bussler. Workflow Management: Modeling Concepts, Architecture, and Implementation. International Thomson Computer Press, London, UK, 1996.
-
(1996)
Workflow Management: Modeling Concepts, Architecture, and Implementation
-
-
Jablonski, S.1
Bussler, C.2
-
19
-
-
0004215049
-
-
Springer-Verlag, Berlin
-
N. Jennings and M. Wooldridge, editors. Agent Technology : Foundations, Applications, and Markets. Springer-Verlag, Berlin, 1998.
-
(1998)
Agent Technology : Foundations, Applications, and Markets
-
-
Jennings, N.1
Wooldridge, M.2
-
21
-
-
0032024112
-
ADEPTflex: Supporting Dynamic Changes ofWorkflow without Loosing Control
-
M. Reichert and P. Dadam. ADEPTflex: Supporting Dynamic Changes ofWorkflow without Loosing Control. Journal of Intelligent Information Systems, 10(2):93–129, 1998.
-
(1998)
Journal of Intelligent Information Systems
, vol.10
, Issue.2
, pp. 93-129
-
-
Reichert, M.1
Dadam, P.2
-
24
-
-
0003547470
-
-
Addison Wesley, Reading, MA, USA
-
J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison Wesley, Reading, MA, USA, 1998.
-
(1998)
The Unified Modeling Language Reference Manual
-
-
Rumbaugh, J.1
Jacobson, I.2
Booch, G.3
-
25
-
-
0004097793
-
-
Cambridge University Press, Cambridge
-
J.R. Searle. Speech Acts. Cambridge University Press, Cambridge, 1969.
-
(1969)
Speech Acts
-
-
Searle, J.R.1
-
26
-
-
0033157789
-
Processes Driving the Networked Economy: ProcessPortals, ProcessVortex, and Dynamically Trading Processes
-
A.P. Sheth, W.M.P. van der Aalst, and I.B. Arpinar. Processes Driving the Networked Economy: ProcessPortals, ProcessVortex, and Dynamically Trading Processes. IEEE Concurrency, 7(3):18–31, 1999.
-
(1999)
IEEE Concurrency
, vol.7
, Issue.3
, pp. 18-31
-
-
Sheth, A.P.1
Van Der Aalst, W.2
Arpinar, I.B.3
-
27
-
-
0347233097
-
Collaborative planning: Empowering the user in a process environment
-
ftp://ftp.ossi.com/pub/regatta/JournalCC.ps
-
K. Swenson. Collaborative planning: Empowering the user in a process environment. Collaborative Computing, 1(1), 1994. ftp://ftp.ossi.com/pub/regatta/JournalCC.ps.
-
(1994)
Collaborative Computing
, vol.1
, Issue.1
-
-
Swenson, K.1
-
28
-
-
84956969019
-
-
ActionWorkflow Enterprise Series 3.0 User Guide. Action Technologies, Inc., Alameda
-
Action Technologies. ActionWorkflow Enterprise Series 3.0 User Guide. Action Technologies, Inc., Alameda, 1996.
-
(1996)
-
-
-
29
-
-
84957031924
-
-
Bond. the distributed object multi-agent system
-
Purdue University. Bond. the distributed object multi-agent system. http://bond.cs.purdue.edu, 2000.
-
(2000)
-
-
-
30
-
-
0347233099
-
Implementation of a cooperative agent architecture based on the language-action perspective
-
Springer-Verlag, Berlin
-
E.M. Verharen, F. Dignum, and S. Bos. Implementation of a cooperative agent architecture based on the language-action perspective. In Intelligent Agents, volume 1365 of Lecture Notes in Artificial Intelligence, pages 31–44. Springer-Verlag, Berlin, 1998.
-
(1998)
Intelligent Agents, Volume 1365 of Lecture Notes in Artificial Intelligence
, pp. 31-44
-
-
Verharen, E.M.1
Dignum, F.2
Bos, S.3
-
31
-
-
0345972018
-
Special Issue on the Language Action Perspective - Introduction
-
T. Winograd. Special Issue on the Language Action Perspective - Introduction. ACM Transations on Office Information Systems, 6(2):83–86, 1988.
-
(1988)
ACM Transations on Office Information Systems
, vol.6
, Issue.2
, pp. 83-86
-
-
Winograd, T.1
-
33
-
-
0001778966
-
Use of production systems for modeling asynchronous concurrent processes
-
M. D. Zisman. Use of production systems for modeling asynchronous concurrent processes. Pattern-Directed Inference Systems, pages 53–68, 1978.
-
(1978)
Pattern-Directed Inference Systems
, pp. 53-68
-
-
Zisman, M.D.1
|