-
1
-
-
0002719897
-
The application of petri nets to workflow management
-
W. M. P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21-66, 1998. 6, 8, 9, 10, 15
-
(1998)
The Journal of Circuits, Systems and Computers
, vol.8
, Issue.1
, pp. 21-66
-
-
Aalst Der Van, P.W.M.1
-
2
-
-
0032627183
-
Formalization and verification of event-driven process chains
-
W. M. P. van der Aalst. Formalization and Verification of Event-driven Process Chains. Information and Software Technology, 41(10):639-650, 1999. 9
-
(1999)
Information and Software Technology
, vol.41
, Issue.10
, pp. 639-650
-
-
Aalst Der Van, P.W.M.1
-
4
-
-
0002422416
-
Loosely coupled interorganizational workflows: modeling and analyzing workflows crossing organizational boundaries
-
March
-
W. M. P. van der Aalst. Loosely Coupled Interorganizational Workflows: Modeling and Analyzing Workflows Crossing Organizational Boundaries. Information and Management, 37(2):67-75, March 2000. 11
-
(2000)
Information and Management
, vol.37
, Issue.2
, pp. 67-75
-
-
Aalst Der Van, P.W.M.1
-
5
-
-
0002307971
-
Workflow verification: finding control-flow errors using petri-net-based techniques
-
W. M. P. van der Aalst, J. Desel, and A. Oberweis, editors Springer-Verlag, Berlin
-
W. M. P. van der Aalst. Workflow Verification: Finding Control-Flow Errors using Petri-net-based Techniques. In W. M. P. van der Aalst, J. Desel, and A. Oberweis, editors, Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science, pages 161-183. Springer-Verlag, Berlin, 2000. 15
-
(2000)
Business Process Management: Models, Techniques, and Empirical Studies, Volume 1806 of Lecture Notes in Computer Science
, pp. 161-183
-
-
Aalst Der Van, P.W.M.1
-
7
-
-
84947249980
-
Identifying commonalities and differences in object life cycles using behavioral inheritance
-
J.M. Colom and M. Koutny, editors Springer-Verlag, Berlin
-
W. M. P. van der Aalst and T. Basten. Identifying Commonalities and Differences in Object Life Cycles using Behavioral Inheritance. In J.M. Colom and M. Koutny, editors, Application and Theory of Petri Nets 2001, volume 2075 of Lecture Notes in Computer Science, pages 32-52. Springer-Verlag, Berlin, 2001. 15
-
(2001)
Application and Theory of Petri Nets 2001, Volume 2075 of Lecture Notes in Computer Science
, pp. 32-52
-
-
Aalst Der Van, P.W.M.1
Basten, T.2
-
8
-
-
0037028431
-
Inheritance of workflows: an approach to tackling problems related to change
-
W. M. P. van der Aalst and T. Basten. Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theoretical Computer Science, 270(1-2):125-203, 2002. 11, 17
-
(2002)
Theoretical Computer Science
, vol.270
, Issue.1-2
, pp. 125-203
-
-
Aalst Der Van, P.W.M.1
Basten, T.2
-
9
-
-
0006927629
-
-
Springer-Verlag, Berlin. 4
-
W. M. P. van der Aalst, J. Desel, and A. Oberweis, editors. Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2000. 4
-
(2000)
Business Process Management: Models, Techniques, and Empirical Studies, Volume 1806 of Lecture Notes in Computer Science
-
-
Aalst Der Van, P.W.M.1
Desel, J.2
Oberweis, A.3
-
10
-
-
0034343347
-
Analysis of discrete-time stochastic petri nets
-
18
-
W. M. P. van der Aalst, K.M. van Hee, and H.A. Reijers. Analysis of Discrete-time Stochastic Petri Nets. Statistica Neerlandica, 54(2):237-255, 2000. 18
-
(2000)
Statistica Neerlandica
, vol.54
, Issue.2
, pp. 237-255
-
-
Aalst Der Van, P.W.M.1
Van Hee, K.M.2
Reijers, H.A.3
-
11
-
-
0034156532
-
Verification of workflow task structures: A petri-net-based approach
-
W. M. P. van der Aalst and A.H.M. ter Hofstede. Verification of Workflow Task Structures: A Petri-net-based Approach. Information Systems, 25(1):43-69, 2000. 11
-
(2000)
Information Systems
, vol.25
, Issue.1
, pp. 43-69
-
-
Aalst Der Van, P.W.M.1
Ter Hofstede, A.H.M.2
-
13
-
-
84956968889
-
Advancedworkflow patterns
-
O. Etzion and P. Scheuermann, editors. Springer-Verlag, Berlin. 5, 8, 16
-
W. M. P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. AdvancedWorkflow Patterns. In O. Etzion and P. Scheuermann, editors, 7th International Conference on Cooperative Information Systems (CoopIS 2000), volume 1901 of Lecture Notes in Computer Science, pages 18-29. Springer-Verlag, Berlin, 2000. 5, 8, 16
-
(2000)
7th International Conference on Cooperative Information Systems (CoopIS 2000), Volume 1901 of Lecture Notes in Computer Science
, pp. 18-29
-
-
Aalst Der Van, P.W.M.1
Ter Hofstede, A.H.M.2
Kiepuszewski, B.3
Barros, A.P.4
-
14
-
-
0003204178
-
Flexible workflow technology driving the networked economy
-
CRL Publishing Ltd, 4
-
W. M. P. van der Aalst and S. Jablonski, editors. Flexible Workflow Technology Driving the Networked Economy, Special Issue of the International Journal of Computer Systems, Science, and Engineering, volume 15, number 5. CRL Publishing Ltd, 2000. 4
-
(2000)
Special Issue of the International Journal of Computer Systems, Science, and Engineering
, vol.15
, Issue.5
-
-
Aalst Der Van, P.W.M.1
Jablonski, S.2
-
15
-
-
84931827065
-
The p2p approach to interorganizational workflows
-
K.R. Dittrich, A. Geppert, and M.C. Norrie, editors. Springer-Verlag, Berlin, 17
-
W. M. P. van der Aalst and M. Weske. The P2P approach to Interorganizational Workflows. In K.R. Dittrich, A. Geppert, and M.C. Norrie, editors, Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE'01), volume 2068 of Lecture Notes in Computer Science, pages 140-156. Springer-Verlag, Berlin, 2001. 17
-
(2001)
Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE'01), Volume 2068 of Lecture Notes in Computer Science
, pp. 140-156
-
-
Aalst Der Van, P.W.M.1
Weske, M.2
-
16
-
-
8644249087
-
Improving flexibility of workflow management systems
-
W. M. P. van der Aalst, J. Desel, and A. Oberweis, editors. Springer-Verlag, Berlin, 17
-
A. Agostini and G. De Michelis. Improving Flexibility of Workflow Management Systems. In W. M. P. van der Aalst, J. Desel, and A. Oberweis, editors, Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science, pages 218-234. Springer-Verlag, Berlin, 2000. 17
-
(2000)
Business Process Management Models Techniques, and Empirical Studies, Volume 1806 of Lecture Notes in Computer Science
, pp. 218-234
-
-
Agostini, A.1
De Michelis, G.2
-
18
-
-
0016495143
-
Open, closed and mixed networks of queues with different classes of customers
-
April 18
-
F. Baskett, K.M. Chandy, R.R. Muntz, and F.G. Palacios. Open, Closed and Mixed Networks of Queues with Different Classes of Customers. Journal of the Association of Computing Machinery, 22(2):248-260, April 1975. 18
-
(1975)
Journal of the Association of Computing Machinery
, vol.22
, Issue.2
, pp. 248-260
-
-
Baskett, F.1
Chandy, K.M.2
Muntz, R.R.3
Palacios, F.G.4
-
20
-
-
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. 8
-
(1998)
The Unified Modeling Language User Guide
-
-
Booch, G.1
Rumbaugh, J.2
Jacobson, I.3
-
21
-
-
0030149933
-
Commonalities in Reengineerd Business Processes. Models and Issues
-
1996
-
J.A. Buzacott. Commonalities in Reengineerd Business Processes: Models and Issues. Management Science, 42(5):768-782, 1996. 18
-
Management Science
, vol.42
, Issue.5
, pp. 768-782
-
-
Buzacott, J.A.1
-
25
-
-
0029201537
-
Dynamic change within workflow systems
-
In N. Comstock, C. Ellis, R. Kling, J. Mylopoulos, and S. Kaplan, editors Milpitas, California, August ACM SIGOIS, ACM Press, New York. 17
-
C.A. Ellis, K. Keddara, and G. Rozenberg. Dynamic change within workflow systems. In N. Comstock, C. Ellis, R. Kling, J. Mylopoulos, and S. Kaplan, editors, Proceedings of the Conference on Organizational Computing Systems, pages 10-21, Milpitas, California, August 1995. ACM SIGOIS, ACM Press, New York. 17
-
(1995)
Proceedings of the Conference on Organizational Computing Systems
, pp. 10-21
-
-
Ellis, C.A.1
Keddara, K.2
Rozenberg, G.3
-
26
-
-
0004335983
-
Workflow: The process spectrum
-
A. Sheth editorAthens, Georgia, May
-
C.A. Ellis and G. Nutt. Workflow: The Process Spectrum. In A. Sheth, editor, Proceedings of the NSF Workshop on Workflow and Process Automation in Information Systems, pages 140-145, Athens, Georgia, May 1996. 4
-
(1996)
Proceedings of the NSF Workshop on Workflow and Process Automation in Information Systems
, pp. 140-145
-
-
Ellis, C.A.1
Nutt, G.2
-
29
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231-274, 1987. 8
-
(1987)
Science of Computer Programming
, vol.8
, pp. 231-274
-
-
Harel, D.1
-
30
-
-
12344309849
-
On the optimal allocation of resources in stochastic workflow nets
-
In K. Djemame and M. Kara, editors University of Leeds, Leeds, UK. 19
-
K.M. van Hee, H.A. Reijers, H.M.W. Verbeek, and L. Zerguini. On the Optimal Allocation of Resources in Stochastic Workflow Nets. In K. Djemame and M. Kara, editors, Proceedings of the Seventeenth UK Performance Engineering Workshop, pages 23-34. University of Leeds, Leeds, UK, 2001. 19
-
(2001)
Proceedings of the Seventeenth UK Performance Engineering Workshop
, pp. 23-34
-
-
Van Hee, K.M.1
Reijers, H.A.2
Verbeek, H.M.W.3
Zerguini, L.4
-
32
-
-
12944277280
-
Coordination technology and petri nets
-
G. Rozenberg, editor Springer-Verlag, Berlin, 4
-
A. W. Holt. Coordination Technology and Petri Nets. In G. Rozenberg, editor, Advances in Petri Nets 1985, volume 222 of Lecture Notes in Computer Science, pages 278-296. Springer-Verlag, Berlin, 1985. 4
-
(1985)
Advances in Petri Nets 1985, Volume 222 of Lecture Notes in Computer Science
, pp. 278-296
-
-
Holt, A.W.1
-
33
-
-
45149089850
-
Workflow management: modeling concepts. architecture, and implementation
-
London, UK
-
S. Jablonski and C. Bussler. Workflow Management: Modeling Concepts, Architecture, and Implementation. International Thomson Computer Press, London, UK, 1996. 3, 5
-
(1996)
International Thomson Computer Press
-
-
Jablonski, S.1
Bussler, C.2
-
34
-
-
23044520720
-
Inter-operability of workflow applications: local criteria for global soundness
-
In W. M. P. van der Aalst, J. Desel, and A. Oberweis, editors Springer-Verlag, Berlin. 17
-
E. Kindler, A. Martens, and W. Reisig. Inter-Operability of Workflow Applications: Local Criteria for Global Soundness. In W. M. P. van der Aalst, J. Desel, and A. Oberweis, editors, Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science, pages 235-253. Springer-Verlag, Berlin, 2000. 17
-
(2000)
Business Process Management: Models, Techniques, and Empirical Studies, Volume 1806 of Lecture Notes in Computer Science
, pp. 235-253
-
-
Kindler, E.1
Martens, A.2
Reisig, W.3
-
36
-
-
0003479205
-
-
John Wiley and Sons, New York 3, 4, 16
-
P. Lawrence, editor. Workflow Handbook 1997, Workflow Management Coalition. John Wiley and Sons, New York, 1997. 3, 4, 16
-
(1997)
Workflow Handbook 1997, Workflow Management Coalition
-
-
Lawrence, P.1
-
39
-
-
0004068620
-
-
PhD thesis, Institut für instrumentelle Mathematik, Bonn. 6
-
C.A. Petri. Kommunikation mit Automaten. PhD thesis, Institut für instrumentelle Mathematik, Bonn, 1962. 6
-
(1962)
Kommunikation Mit Automaten
-
-
Petri, C.A.1
-
40
-
-
0003145887
-
Short-term simulation. bridging the gap between operational control and strategic decision making
-
In M.H. Hamza editor. IASTED/Acta Press, Anaheim, USA
-
H.A. Reijers and W. M. P. van der Aalst. Short-Term Simulation: Bridging the Gap between Operational Control and Strategic Decision Making. In M.H. Hamza, editor, Proceedings of the IASTED International Conference on Modelling and Simulation, pages 417-421. IASTED/Acta Press, Anaheim, USA, 1999. 18
-
(1999)
Proceedings of the IASTED International Conference on Modelling and Simulation
, pp. 417-421
-
-
Reijers, H.A.1
Aalst Der Van, P.W.M.2
-
42
-
-
0000571953
-
Analyzing process models using graph reduction techniques
-
9, 11
-
W. Sadiq and M.E. Orlowska. Analyzing Process Models using Graph Reduction Techniques. Information Systems, 25(2):117-134, 2000. 9, 11
-
(2000)
Information Systems
, vol.25
, Issue.2
, pp. 117-134
-
-
Sadiq, W.1
Orlowska, M.E.2
-
43
-
-
0035653173
-
Diagnosing workflow processes using woflan
-
H.M.W. Verbeek, T. Basten, and W. M. P. van der Aalst. Diagnosing Workflow Processes using Woflan. The Computer Journal, 44(4):246-279, 2001. 11, 12, 15
-
(2001)
The Computer Journal
, vol.44
, Issue.4
, pp. 246-279
-
-
Verbeek, H.M.W.1
Basten, T.2
Aalst Der Van, P.W.M.3
-
45
-
-
84879079421
-
-
Woflan Home Page. http://www.tm.tue.nl/it/woflan. 11
-
Woflan Home Page
-
-
|