Abstract
Petri net models and variants thereof have primarily been used to model structured systems such as computer programs, factory production lines, and engineering hardware. In contrast, this paper discusses the issues and challenges in the modeling of human activity in the workplace. This type of activity frequently has a large component that is unstructured, creative work. It is dynamic and difficult to capture via traditional Petri nets. Our research group at the University of Colorado has been investigating Information Control Nets (ICNs), derived from high level Petri nets, as a tool for modeling office workflow. After carefully explaining the notion of Workflow, this paper presents a formal (and also an informal) definition of ICN. We illustrate the utility of ICNs via an office analysis example.
Besides being a tool for workflow analysis, ICNs have been used as the basis for the implementation and use of office work coordination systems. These systems provide a computer network based environment to help coordinate, monitor, schedule, and assist in the execution of office work items. To succeed in realistic organizational environments, these systems must be reliable, robust, easy to use, and flexible. Organizational flexibility demands a capability for dynamic change and exception handling. We introduce a mechanism for dynamic change and exception handling in the latter part of the paper. We conclude the paper with a summary, and discussion of some research challenges that we feel must be met for the successful implementation of future generations of workflow systems.
Supported by funding from Bull Worldwide Information Systems Imaging and Office Solutions
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
James Bair, editor. Office Automation Systems: Why Some Work and Others Fail. Center for Information Technology, 1981. Stanford University conference.
G. Balbo and G. Chiola. Stochastic petri net simulation. In 1989 Winter Simulation Conference Proceedings, pages 266–276, 1989.
Bull S. A. FlowPath Functional Specification, September 1992.
Carolyn Cook. Office streamlining using the icn model and methodology. In Proceedings of the 1980 National Computer Conference, 1980.
P. Dumas. La Methode OSSAD. Les Editions d'Organization, 1991.
Esther Dyson. Workflow. EDventure Holdings, 1992. Release 1.0.
C. Ellis, S. J. Gibbs, and G. L. Rein. Groupware: Some issues and experiences. Communications of the ACM, 34(1):38–58, January 1991.
Clarence A. Ellis. Information control nets: A mathematical model of office information flow. In Proceedings of the 1979 ACM Conference on Simulation, Measurement and Modeling of Computer Systems, 1979.
Clarence A. Ellis. Officetalk-p: An office information system based upon migrating processes. In Najah Naffah, editor, Integrated Office Systems, 1979.
Clarence A. Ellis. Officetalk-d, an experimental office information system. In Proceedings of the First ACM Conference on Office Information Systems, 1982.
H. J. Genrich. Predicate/transition nets. In Advances in Petri Nets 1986, pages 3–43. Springer Verlag, 1986.
J. Grudin. Why csew applications fail. In Proceedings of the CSCW88 Conference, 1988.
Kurt Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Springer Verlag, 1992.
Jianzhong Li. AMS: A Declarative Formalism for Hierarchical Representation of Procedural Knowledge. PhD thesis, L'Ecole Nationale Superierure des Telecommunications, 1990.
M. K. Molloy. Performance analysis using stochastic petri nets. IEEE Transactions on Computers, C-31(9):913–917, September 1982.
Gary J. Nutt. The Formulation and Application of Evaluation Nets. PhD thesis, University of Washington, 1972.
Gary J. Nutt. A Simulation System Architecture for Graph Models, pages 417–435. Springer Verlag, 1990.
Gary J. Nutt and Clarence A. Ellis. Backtalk: An office environment simulator. In ICC 79 Conference Record, pages 22.3.1–22.3.5, 1979.
S. Poltrock and J. Grudin. Tutorial on computer supported cooperative work and groupware. Presented at the ACM SIGCHI Conference on Human Factors in Computing Systems, April 1980.
C. Ramchandani. Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. PhD thesis, MIT, 1974.
Michael D. Zisman. Representation, Specification and Automation of Office Procedures. PhD thesis, University of Pennsylvania Wharton School of Business, 1977.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ellis, C.A., Nutt, G.J. (1993). Modeling and enactment of workflow systems. In: Ajmone Marsan, M. (eds) Application and Theory of Petri Nets 1993. ICATPN 1993. Lecture Notes in Computer Science, vol 691. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56863-8_36
Download citation
DOI: https://doi.org/10.1007/3-540-56863-8_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56863-6
Online ISBN: 978-3-540-47759-4
eBook Packages: Springer Book Archive