{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T23:40:33Z","timestamp":1778542833648,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540674542","type":"print"},{"value":"9783540455943","type":"electronic"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45594-9_10","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T21:17:04Z","timestamp":1186521424000},"page":"142-160","source":"Crossref","is-referenced-by-count":21,"title":["Using Formal Analysis Techniques in Business Process Redesign"],"prefix":"10.1007","author":[{"given":"Kees M.","family":"van Hee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hajo A.","family":"Reijers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"key":"10_CR1","volume-title":"Introduction to Algorithms","author":"T. H. Cormen","year":"1990","unstructured":"Cormen, T. H., Leiseron, C.E., Rivest, R.L.: Introduction to Algorithms. The MIT Press, Cambridge (1990)."},{"key":"10_CR2","unstructured":"Hee, van, K.M.: Information Systems Engineering: a Formal Approach. Cambridge University Press (1994)."},{"key":"10_CR3","volume-title":"Workflow Managament: Modellen, Methoden en Systemen","author":"K.M. Hee van","year":"1997","unstructured":"Hee, van, K.M., Aalst, van der, W.M.P.: Workflow Managament: Modellen, Methoden en Systemen. Academic Service, Schoonhoven (1997) [In Dutch]"},{"key":"10_CR4","unstructured":"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]"},{"key":"10_CR5","volume-title":"Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1992","unstructured":"Jensen, K: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Vol. 1, Basic Concepts. Springer-Verlag, Berlin (1992)."},{"key":"10_CR6","volume-title":"Planning and control with PERT\/CPM","author":"R. Levin","year":"1966","unstructured":"Levin, R., Kirkpatrick, C.: Planning and control with PERT\/CPM. McGraw-Hill, New York (1966)."},{"key":"10_CR7","series-title":"Lecture Notes in Economic and Mathematical Systems","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-95363-7","volume-title":"GERT Networks","author":"K. Neuman","year":"1979","unstructured":"Neuman, K., Steinhardt, U.: GERT Networks, vol. 172 of Lecture Notes in Economic and Mathematical Systems. Springer-Verlag, Berlin (1979)."},{"key":"10_CR8","volume-title":"The structure of Probability Theory with Applications","author":"A.J. Thomasian","year":"1969","unstructured":"Thomasian, A.J.: The structure of Probability Theory with Applications. McGraw-Hill Book Company, New York (1969)."},{"key":"10_CR9","volume-title":"Stochastic Models: an Algorithmic Approach","author":"H. C. Tijms","year":"1994","unstructured":"Tijms, H. C.: Stochastic Models: an Algorithmic Approach. John Wiley & Sons, New York (1994)."}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45594-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T15:28:09Z","timestamp":1548343689000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45594-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540674542","9783540455943"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45594-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}