Skip to main content
SpringerLink
Log in
Book cover

Advanced Course on Petri Nets

ACPN 1996: Lectures on Petri Nets II: Applications pp 125–153Cite as

Computer Supported Cooperative Work and Petri Nets

  • IV Applications of Elementary Net Systems and Place/Transition Nets
  • Chapter
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1492))

Abstract

Computer Supported Cooperative Work (CSCW) has brought to the attention of computer professionals the role computer applications may play supporting collaboration, coordination and communication among people cooperating in a common task. In particular, people acting in accordance with a structured workflow, as a procedure or as a project plan, can be supported by a class of systems called workflow management systems, not only to play their role in it, but also to increase their awareness of the situation in which they are acting so that they can make better decisions when needed and overcome breakdowns finding new (exceptional) paths. Workflow management systems, in fact, facilitate the description, modeling, analysis, enactment, and coordination of (the) structured (component of) work processes. These systems assist and mediate communication, interaction, understanding, and synchronization among collaborating people and processes within organizations.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abbott, K. R., Sarin, S. K. Experiences with Workflow Management: Issues for The Next Generation. In: [CSCW, 1994],pp. 113–120.

    Google Scholar 

  2. Agostini, A., De Michelis, G., Grasso, M. A., Patriarca, S. Reengineering a business process with an innovative Workflow Management System: a Case Study. Collaborative Computing, 1, 3,1994, pp. 163–190.

    Google Scholar 

  3. Agostini, A., De Michelis, G., Patriarca, S., Tinini, R. A Prototype of an Integrated Coordination Support System. Computer Supported Cooperative Work. An International Journal, 2,4, 1994, pp. 209–238.

    Google Scholar 

  4. Agostini, A., De Michelis, G., Grasso, M. A. Rethinking CSCW systems: the architecture of Milano. In: [ECSCW, 1997], pp. 3–48.

    Google Scholar 

  5. Badouel, E., Bernardinello, L., Darondeau, P. The synthesis problem for Elementary Net Systems is NP-Complete. Theoretical Computer Science, 1997 (to appear).

    Google Scholar 

  6. Bair, J. Office Automation Systems: Why some work and others fail. In. Proceedings of the Stanford Office Automation Conference, Stanford University Center for Information Technology, June 1981.

    Google Scholar 

  7. Bernardinello, L. Synthesis of Net Systems. In: Application and Theory of Petri Nets, LNCS 691, Springer Veralg, Berlin, 1993, pp. 89–105.

    Google Scholar 

  8. Bertolazzi, P., Di Battista, G., Liotta G. Parametric Graph Drawing. IEEE Trans.on Software Trans. on 1995.

    Google Scholar 

  9. Bowers, J., Bernford, S. (Eds.) Studies in Computer Supported Cooperative Work. North Holland. Amsterdam, 1991.

    Google Scholar 

  10. Bowers, J., Button, G., Sharrock W. Workflow from Within and Without: Technology and Cooperative Work on the Print Industry Shopfloor. In

    Google Scholar 

  11. ECSCW, 1995, pp. 51–66.

    Google Scholar 

  12. Brauer, W., Reisig, W., Rozenberg, G. (Eds.) Petri Nets: Central Models and Their Properties. LNCS 254, Springer Verlag, Berlin, 1987.

    Google Scholar 

  13. Brown, J. S., Duguid, P. Organizational Learning and Communities of Practice: a unified View of Working, Learning and Innovation. Organization Science, 2,1, 1991, pp. 40–56.

    Google Scholar 

  14. Bullen, C. V., Bennett J. L. Learning from User Experience with Groupware. In: [CSCW, 1990], pp. 291–302.

    Google Scholar 

  15. Bull L. P. M. FlowWorks, The Bull Workflow Product-Architectural Design and Functional Specifications. Bull, Paris, 1982.

    Google Scholar 

  16. Proceedings of the Computer Supported Cooperative Work Conference. MCC, Austin, 1986.

    Google Scholar 

  17. Proceedings of the 2nd Computer Supported Cooperative Work Conference. ACM, New York, 1988.

    Google Scholar 

  18. Proceedings of the 3rd Computer Supported Cooperative Work Conference. ACM, New York, 1990.

    Google Scholar 

  19. Proceedings of the 4th Computer Supported Cooperative Work Conference. ACM, New York, 1992.

    Google Scholar 

  20. Proceedings of the 5th Computer Supported Cooperative Work Conference. ACM, New York, 1994.

    Google Scholar 

  21. Proceedings of the 6th Computer Supported Cooperative Work Conference. ACM, New York, 1996.

    Google Scholar 

  22. Curtis, B., Kellner, M.I., Over J. Process Modelling. Communications of the ACM, 35,9, 1992., pp. 75–90

    Google Scholar 

  23. De Cindio, F., De Michelis, G., Simone, C. GAMERU, a language for the analysis and design of human communication pragmatics within organizational systems, In: Advances in Petri Nets 87, Springer Verlag, Berlin, 1987, pp. 21–44.

    Google Scholar 

  24. De Cindio, F., De Michelis, G., Simone, C. The Communication Disciplines of Chaos. In: K. Voss, H. J. Genrich, G. Rozenberg (Eds.), Concurrency and Nets, Springer, Berlin, 1987, pp. 115–140.

    Google Scholar 

  25. De Michelis, G. Computer Support for Cooperative Work: Computers between Users and Social Complexity. In: [Zucchermaglio et al., 1995], pp. 307–330.

    Google Scholar 

  26. De Michelis, G. Work Processes, Organizational Structures and Cooperation Supports: Managing Complexity. In: D. Brandt, T. Martin (Eds.) Automated Systems Based on Human Skills, Pergamon, New York, 1996, pp.3–12. Also in: Annual Reviews in Control, Pergamon, New York, 1997 (to appear).

    Google Scholar 

  27. De Michelis, G., Grasso, M. A. Situating conversations within the language/action perspective: the Milan conversation Model. In: [CSCW, 1994], pp. 89–100.

    Google Scholar 

  28. Dourish, P., Holmes, J., Mc Lean, A., Marqvardsen, P., Zbyslaw A. Freeflow: Mediating Between Representation and Action in Workflow Systems. In: [CSCW, 1996], pp. 190–198.

    Google Scholar 

  29. Proceedings of ECSCW'91. Kluver, Dordrecht, 1991.

    Google Scholar 

  30. Proceedings of ECSCW'93. Kluver, Dordrecht, 1993.

    Google Scholar 

  31. Proceedings of ECSCW'95. Kluver, Dordrecht, 1995.

    Google Scholar 

  32. Proceedings of ECSCW'97. Kluver, Kluwer, 1997.

    Google Scholar 

  33. Ellis, C. Information control nets: a mathematical model of office information flow. In: Proc. of the 1979 ACM Conf. on simulation, measurement and modeling of computer systems, ACM Press, New York, 1979.

    Google Scholar 

  34. Ellis, C. Office Talk-D: An Experimental Office Information System. In: Proceeding of the 1st Conference on Office Information Systems. ACM Press, New York, 1982, pp. 131–140.

    Google Scholar 

  35. Ellis, C., Gibbons, R., Morris, R. Office Streamlining. In: N. Naffah (Ed.) Integrated Office Systems-Burotics. North-Holland, Amsterdam, 1979, pp. 111–125.

    Google Scholar 

  36. Ellis, C., Gibbs, S. J., Rein, G. L. Groupware: some issues and experiences. Communications of the ACM, 34,1, 1991, pp. 39–58.

    Google Scholar 

  37. Ellis, C, Keddara, K., Rozenberg, G. Dynamic Change within Workflow Systems. In: Proceedings of the Conference on Organizational Computing Systems. ACM Press, New York, 1995, pp. 10–21.

    Google Scholar 

  38. Ellis, C., Keddara, K. Dynamic Change within Workflow Systems. University of Colorado Technical Report, July 1993.

    Google Scholar 

  39. Glance, N., Pagani, D. S., Pareschi, R. Generalized Process Structure Grammars (GPSG) for Flexible Representations of Work. In: [CSCW, 1996], pp. 180–189.

    Google Scholar 

  40. Hammer, M., Champy, J. Reengineering the Corporation, Harper Business, New York, 1993.

    Google Scholar 

  41. Holt,. A. W. Net Models of Organizational systems in Theory and Practice, In: C. A. Petri (Ed.), Ansaetze zur Organisationstheorie Rechnergestuerze Informations-systeme, Oldenbourg, Muenchen, 1979, pp. 39–62.

    Google Scholar 

  42. Holt, A. W. Diplans: A new language for the study and implementation of coordination. ACM Trans. Office Information Systems, 6,2, 1988, pp. 109–125.

    Google Scholar 

  43. Holt, A. W. Organized Activity, and its Support by Computer. Kluwer, Dordrecht, 1997.

    Google Scholar 

  44. Holt, A. W., Ramsey, H. R., Grimes, G. D. Coordination system technology as the basis for a programming environment. Electrical Communication 77,4, 1983, pp. 307–313.

    Google Scholar 

  45. Jensen, K. Soloured Petri Nets. Springer Verlag, Berlin, 1992.

    Google Scholar 

  46. Kreifelts, T., Licht, O., Seuffert, P, Woetzel, G. DOMINO a system for the specification and automation of cooperative office processes. In: Proc. EUROMICRO'84, North Holland, Amsterdam, 1984, pp. 33–41.

    Google Scholar 

  47. Kreifelts, T., Hinrichs, E., Klein, K.H., Seuffert, P., Woetzel, G. Experiences with the DOMINO Office Procedure System. In: [ECSCW, 1991], pp. 117–130.

    Google Scholar 

  48. Kreifelts, T., Hinrichs, E., Woetzel, G. Sharing To-do Lists with a Distributed Time Manager. In: [ECSCW, 1993], pp. 31–46.

    Google Scholar 

  49. Lee, J., Yost, G. and the PIF Working Group. The PIF Process Interchange Format and Framework. University of Hawaii, Tech. Report, 1996.

    Google Scholar 

  50. Malone, T. W., Crowston, K. What is coordination theory and how can it help design cooperative work systems? In: [CSCW, 1990], pp. 357–370.

    Google Scholar 

  51. Malone, T. W., Crowston, K., Lee, J., Pentland, B. Tools for Inventing Organizations: Towards a handbook of organizational processes. In: Proc. of 2nd IEEE Workshop on Enabling Technologies Infrastructure for Collaborative Enterprises, New York, IEEE, 1993.

    Google Scholar 

  52. Medina-Mora, R., Winograd, T., Flores, R., Flores, F. The Action Workflow Approach to Workflow Management Technology. In: [CSCW, 1992], pp. 281–297.

    Google Scholar 

  53. Meldman, J. A., Holt, A. W. Petri nets and legal systems. Jurimetrics Journal, 12,2, 1971, pp. 65–75.

    Google Scholar 

  54. Meta Software Corporation, Design/CPN User's Manual. MSC, Cambridge, 1992.

    Google Scholar 

  55. Nielsen, M., Rozenberg, G., Thiagarajan, P.S. Elementary Transition Systems. Theoretical Computer Science, 96/1, 1992.

    Google Scholar 

  56. Nutt, G. Resource Management for a Virtual Planning Room. In; 1997 Interantional Workshop on Multimedia Information Systems, Como, 1997, pp. 17–27.

    Google Scholar 

  57. Petri, C. A. Kommunikation mit Automaten, Rheinisch-Westfaelisches Institut fuer Instrumentelle Mathematik and der Universitaet Bonn, Schrift Nr. 2, 1962. Also: Communication with Automata, Griffiss Air Force Base, New York, RADC-TR-65-377, Vol. 1, Suppl. 1, 1966 (English Translation).

    Google Scholar 

  58. Petri, C. A., Communication Disciplines. In: B. Shaw (Ed.), Computing System Design. Proc. of the Joint IBM University of Newcastle upon Tyne Seminar, Sep. 1976, University of Newcastle upon Tyne, 1977, pp. 171–183.

    Google Scholar 

  59. Petri, C. A., Modelling as a Communication Discipline. In: H. Beilner, E. Gelenbe (Eds.), Measuring, Modelling and Evaluating Computer Systems, North Holland, Amsterdam, 1977, pp. 435–449.

    Google Scholar 

  60. Pinci, V. O., Shapiro, R. M. Work Flow Analysis. MSC, Cambridge, 1993

    Google Scholar 

  61. Prinz, W., Kolvenbach, S. Support for Workflows in a Ministerial Environment. In: [CSCW, 1996], pp. 199–208.

    Google Scholar 

  62. Rozenberg, G. Behaviour of Elementary Net Systems. In: [Brauer et al. 1987], pp. 60–94.

    Google Scholar 

  63. Schmidt, K., Bannon, L. Taking CSCW Seriously: Supporting Articulation Work. Computer Supported Cooperative Work. An International Journal, 1,1-2, 1992, pp. 7–40.

    Google Scholar 

  64. Simone, C., Divitini, M., Schmidt, K. A notation for malleable and interoperable coordination mechanisms for CSCW systems. In: N. Comstock et al. (Eds.) COOCS'95. Conf. on Organizational Computing Systems, ACM Press, New York, 1995, pp. 44–54.

    Google Scholar 

  65. Simone, C., Bandini, S. Compositional features for promoting awareness within and across cooperative applications. In Group'97, ACM Press, New York, 1997 (to appear).

    Google Scholar 

  66. Strong, D.M. Design and Evaluation of Information Handling Processes. Ph.D. Dissertation, Carnegie Mellon University, School of Business, June 1988.

    Google Scholar 

  67. Suchman, L. A. Plans and Situated Actions. The Problem of Human-Machine Communication. Cambridge University Press, Cambridge, 1987.

    Google Scholar 

  68. Thiagarajan, P. S. Elementary Net Systems. In: [Brauer et al. 1987], pp. 26–59.

    Google Scholar 

  69. Van der Aalst, W. P. M. A class of Petri Nets for modeling and analyzing business processes. CS-TR 95/26, Eindhoven University of Technology, Eindhoven, 1995.

    Google Scholar 

  70. Veloso, M. (Ed.) Proceedings of the ProTem/SNF Workshop on Intelligent Agents, Porto Allegre, 1997.

    Google Scholar 

  71. White, T. E., Fischer, L. (Eds.) The Workflow Paradigm, Future Strategies, Alameda, 1994.

    Google Scholar 

  72. Winograd, T., Flores, F. Understanding Computers and Cognition. Ablex, Norwood, 1986.

    Google Scholar 

  73. Workflow Management Coalition, Coalition Overview. TR-WMC, Brussels, 1994

    Google Scholar 

  74. Zisman, M. D. Representation, Specification and Automation of Office Procedures, PhD Thesis, University of Pennsylvania, The Wharton School, Philadelphia, 1977.

    Google Scholar 

  75. Zucchermaglio, C., Bagnara, S., Stucky, S. (Eds.) Organizational Learning and Technological Change. Springer Verlag, Berlin, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Sciences, University of Milano, Via Comelico 39, 20135, Milano, Italy

    Giorgio De Michelis

  2. Department of Computer Science, University of Colorado, 80309-0430, Boulder, CO

    Clarence A. Ellis

Authors
  1. Giorgio De Michelis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Clarence A. Ellis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Wolfgang Reisig Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

De Michelis, G., Ellis, C.A. (1998). Computer Supported Cooperative Work and Petri Nets. In: Reisig, W., Rozenberg, G. (eds) Lectures on Petri Nets II: Applications. ACPN 1996. Lecture Notes in Computer Science, vol 1492. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-65307-4_48

Download citation

  • DOI: https://doi.org/10.1007/3-540-65307-4_48

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65307-3

  • Online ISBN: 978-3-540-49441-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation