Abstract
Currently, the Dutch Customs Department is building a nationwide information system to handle all kinds of declarations related to the import and export of goods. For this purpose the Petri-net-based Workflow Management System (WFMS) named COSA has been selected. During the selection process, it turned out that there are several reasons for insisting on a Petri-net-based WFMS. The three main reasons for selecting a Petri-net-based WFMS are discussed in this paper. In our opinion these reasons are also relevant for many other projects involved in the selection or implementation of a WFMS.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
W.M.P. van der Aalst. Interval Timed Coloured Petri Nets and their Analysis. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 453–472. Springer-Verlag, Berlin, 1993.
W.M.P. van der Aalst. Petri-net-based Workflow Management Software. In A. Sheth, editor, Proceedings of the NFS Workshop on Workflow and Process Automation in Information Systems, pages 114–118, Athens, Georgia, May 1996.
W.M.P. van der Aalst. Verification of Workflow Nets. In P. Azema and G. Balbo, editors, Application and Theory of Petri Nets 1997, Lecture Notes in Computer Science, page (to appear). Springer-Verlag, Berlin, 1997.
W.M.P. van der Aalst and K.M. van Hee. Framework for Business Process Redesign. In J.R. Callahan, editor, Proceedings of the Fourth Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 95), pages 36–45, Berkeley Springs, April 1995. IEEE Computer Society Press.
W.M.P. van der Aalst and K.M. van Hee. Business Process Redesign: A Petri-net-based approach. Computers in Industry, 29(1-2): 15–26, 1996.
W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Modellen, Methoden en Systemen (in Dutch). Academic Service, Schoonhoven, 1997.
ASPT. ExSpect 4.2 User Manual. Eindhoven University of Technology, Eindhoven, 1994.
W.M.P. van der Aalst, K.M. van Hee, and G.J. Houben. Modelleren en Analyseren van Workflow: een Aanpak op Basis van Petri-netten. Informatie, 37(11):590–599 (in Dutch), 1995.
E. Best. Structure theory of Petri nets: the free choice hiatus. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Advances in Petri Nets 1986 Part I: Petri Nets, central models and their properties, volume 254 of Lecture Notes in Computer Science, pages 168–206. Springer-Verlag, Berlin, 1987.
P.P. Chen. The Entity-Relationship Model: Towards a unified view of Data. ACM Transactions on Database Systems, 1:9–36, Jan 1976.
E.F. Codd. A Relational Model for Large Shared Data Banks. Communications of the ACM, 13(6):377–387, June 1970.
J. Desel and J. Esparza. Free choice Petri nets, volume 40 of Cambridge tracts in theoretical computer science. Cambridge University Press, Cambridge, 1995.
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.
K.M. van Hee. Information System Engineering: a Formal Approach. Cambridge University Press, 1994.
K. Hayes and K. Lavery. Workflow management software: the business opportunity. Ovum, 1991.
K. Jensen. Coloured Petri Nets. Basic concepts, analysis methods and practical use. EATCS monographs on Theoretical Computer Science. Springer-Verlag, Berlin, 1992.
T.M. Koulopoulos. The Workflow Imperative. Van Nostrand Reinhold, New York, 1995.
M. Ajmone Marsan, G. Balbo, and G. Conte. Performance Models of Multiprocessor Systems. The MIT Press, Cambridge, 1986.
T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4):541–580, April 1989.
W. Reisig. Petri nets: an introduction, volume 4 of Monographs in theoretical computer science: an EATCS series. Springer-Verlag, Berlin, 1985.
T. Schäl. Workflow Management for Process Organisations, volume 1096 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1996.
Software-Ley. COSA User Manual. Software-Ley GmbH, Pullheim, 1996.
P.H. Starke. INA: Integrierter Netz Analysator, Handbuch, 1992.
M. Silva and R. Valette. Petri Nets and Flexible Manufacturing. In G. Rozenberg, editor, Advances in Petri Nets 1989, volume 424 of Lecture Notes in Computer Science, pages 274–417. Springer-Verlag, Berlin, 1990.
WFMC. Workflow Management Coalition Terminology and Glossary (WFMC-TC-1O11). Technical report, Workflow Management Coalition, Brussels, 1996.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media New York
About this chapter
Cite this chapter
van der Aalst, W.M.P. (1998). Three Good Reasons for Using a Petri-Net-Based Workflow Management System. In: Wakayama, T., Kannapan, S., Khoong, C.M., Navathe, S., Yates, J. (eds) Information and Process Integration in Enterprises. The Springer International Series in Engineering and Computer Science, vol 428. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-5499-8_10
Download citation
DOI: https://doi.org/10.1007/978-1-4615-5499-8_10
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7512-8
Online ISBN: 978-1-4615-5499-8
eBook Packages: Springer Book Archive