The P2P Approach to Interorganizational Workflows

1. 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.

   Google Scholar 

2. 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.

   Article  Google Scholar 

3. 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.

   MATH  Google Scholar 

4. W. M. P. van der Aalst. Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control? BETA Working Paper Series, WP 46, Eindhoven University of Technology, Eindhoven, 2000.

   Google Scholar 

5. W. M. P. van der Aalst and K. Anyanwu. Inheritance of Interorganizational Workflows to Enable Business-to-Business E-commerce. In Proceedings of the Second International Conference on Telecommunications and Electronic Commerce (ICTEC’99), pages 141–157, Nashville, Tennessee, October 1999.

   Google Scholar 

6. W. M. P. van der Aalst and T. Basten. Inheritance of Workflows: An approach to tackling problems related to change. Theoretical Computer Science, 2001 (to appear).

   Google Scholar 

7. N. R. Adam, V. Atluri, and W. Huang. Modeling and Analysis of Workflows using Petri Nets. Journal of Intelligent Information Systems, 10(2):131–158, 1998.

   Article  Google Scholar 

8. T. Basten. In Terms of Nets: System Design with Petri Nets and Process Algebra. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands, December 1998.

   MATH  Google Scholar 

9. R. Benjamin and R. Wigand. Electronic markets and virtual value chains on the information superhighway. Sloan Management Review, pages 62–72, 1995.

   Google Scholar 

10. R. W. H. Bons, R. M. Lee, and R. W. Wagenaar. Designing trustworthy interorganizational trade procedures for open electronic commerce. International Journal of Electronic Commerce, 2(3):61–83, 1998.

    Google Scholar 

11. 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.

    Google Scholar 

12. 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.

    Article  Google Scholar 

13. R. J. van Glabbeek and W. P. Weijland. Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM, 43(3):555–600, 1996.

    Article  MathSciNet  Google Scholar 

14. A. H. M. ter Hofstede, M. E. Orlowska, and J. Rajapakse. Verification Problems in Conceptual Workflow Specifications. Data and Knowledge Engineering, 24(3):239–256, 1998.

    Article  MATH  Google Scholar 

15. 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.

    Google Scholar 

16. R. M. Lee. Distributed Electronic Trade Scenarios: Representation, Design, Prototyping. International Journal of Electronic Commerce, 3(2):105–120, 1999.

    Google Scholar 

17. F. Leymann and D. Roller. Production Workflow: Concepts and Techniques. Prentice-Hall PTR, Upper Saddle River, New Jersey, USA, 1999.

    Google Scholar 

18. T. W. Malone, R. I. Benjamin, and J. Yates. Electronic Markets and Electronic Hierarchies: Effects of Information Technology on Market Structure and Corporate Strategies. Communications of the ACM, 30(6):484–497, 1987.

    Article  Google Scholar 

19. M. Merz, B. Liberman, K. Muller-Jones, and W. Lamersdorf. Interorganisational Workflow Management with Mobile Agents in COSM. In Proceedings of PAAM96 Conference on the Practical Application of Agents and Multiagent Systems, 1996.

    Google Scholar 

20. Pallas Athena. Protos User Manual. Pallas Athena BV, Plasmolen, The Netherlands, 1999.

    Google Scholar 

21. W. Sadiq and M. E. Orlowska. Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models. In Proceedings of the 11th International Conference on Advanced Information Systems Engineering (CAiSE’ 99), volume 1626 of Lecture Notes in Computer Science, pages 195–209. Springer-Verlag, Berlin, 1999.

    Google Scholar 

22. A. Sheth, K. Kochut, and J. Miller. Large Scale Distributed Information Systems (LSDIS) laboratory, METEOR project page. http://lsdis.cs.uga.edu/proj/meteor/meteor.html.

23. Software-Ley. COSA User Manual. Software-Ley GmbH, Pullheim, Germany, 1998.

    Google Scholar 

24. Staffware. Staffware 2000 / GWD User Manual. Staffware plc, Berkshire, United Kingdom, 1999.

    Google Scholar 

25. The White House. A Framework for Global Electronic Commerce. http://www.ecommerce.gov/framewrk.htm, 1997.

26. H. M. W. Verbeek, T. Basten, and W. M. P. van der Aalst. Diagnosing Workflow Processes using Woflan. Computing Science Report 99/02, Eindhoven University of Technology, Eindhoven, 1999.

    Google Scholar 

Download references