Using Formal Analysis Techniques in Business Process Redesign

1. Cormen, T. H., Leiseron, C.E., Rivest, R.L.: Introduction to Algorithms. The MIT Press, Cambridge (1990).

   Google Scholar 

2. Hee, van, K.M.: Information Systems Engineering: a Formal Approach. Cambridge University Press (1994).

   Google Scholar 

3. Hee, van, K.M., Aalst, van der, W.M.P.: Workflow Managament: Modellen, Methoden en Systemen. Academic Service, Schoonhoven (1997) [In Dutch]

   Google Scholar 

4. Hee, van, K.M., Reijers, H.A.: An Analytical Method for Computing Throughput Times in Stochastic Workflow Nets. Proceedings of the 7th Analytical and Numerical Modelling Techniques Conference (1999) [Forthcoming]

   Google Scholar 

5. Jensen, K: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Vol. 1, Basic Concepts. Springer-Verlag, Berlin (1992).

   Google Scholar 

6. Levin, R., Kirkpatrick, C.: Planning and control with PERT/CPM. McGraw-Hill, New York (1966).

   Google Scholar 

7. Neuman, K., Steinhardt, U.: GERT Networks, vol. 172 of Lecture Notes in Economic and Mathematical Systems. Springer-Verlag, Berlin (1979).

   Google Scholar 

8. Thomasian, A.J.: The structure of Probability Theory with Applications. McGraw-Hill Book Company, New York (1969).

   MATH  Google Scholar 

9. Tijms, H. C.: Stochastic Models: an Algorithmic Approach. John Wiley & Sons, New York (1994).

   MATH  Google Scholar 

Download references