For the most recent entries see the Petri Nets Newsletter.

Using Formal Analysis Techniques in Business Process Redesign.

van Hee, K.M.; Reijers, H.A.

In: van der Aalst, W.M.P.; Desel, J.; Oberweis, A.: Lecture Notes in Computer Science, Vol. 1806: Business Process Managements - models, techniques and empirical studies, pages 142-160. Springer-Verlag, 2000.

Abstract: Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the (potential) contribution of these formal analysis techniques by giving an outline on the subject first. Next, a specific, newly developed formal technique is discussed.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography