{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T05:40:11Z","timestamp":1740807611581,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642182211"},{"type":"electronic","value":"9783642182228"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-18222-8_7","type":"book-chapter","created":{"date-parts":[[2010,12,9]],"date-time":"2010-12-09T15:12:06Z","timestamp":1291907526000},"page":"144-173","source":"Crossref","is-referenced-by-count":3,"title":["On-the-Fly Auditing of Business Processes"],"prefix":"10.1007","author":[{"given":"Kees","family":"van Hee","sequence":"first","affiliation":[]},{"given":"Jan","family":"Hidders","sequence":"additional","affiliation":[]},{"given":"Geert-Jan","family":"Houben","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Paredaens","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Thiran","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Romney, M.B., Steinbart, P.J.: Accounting Information Systems. 11 edn. Pearson International Editions (2009)"},{"issue":"1","key":"7_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S1467-0895(01)00020-3","volume":"3","author":"G.L. Geerts","year":"2002","unstructured":"Geerts, G.L., McCarthy, W.E.: An ontological analysis of the economic primitives of the extended-REA enterprise information architecture. International Journal of Accounting Information Systems\u00a03(1), 1\u201316 (2002)","journal-title":"International Journal of Accounting Information Systems"},{"issue":"3","key":"7_CR3","first-page":"554","volume":"57","author":"W.E. McCarthy","year":"1982","unstructured":"McCarthy, W.E.: The REA accounting model: A generalized framework for accounting systems in a shared data environment. The Accounting Review\u00a057(3), 554\u2013578 (1982)","journal-title":"The Accounting Review"},{"key":"7_CR4","unstructured":"Berg, D.: Turning Sarbanes-Oxley projects into strategic business processes. Sarbanes-Oxley Compliance Journal (2004)"},{"key":"7_CR5","unstructured":"IFRS Foundation: The International Accounting Standards Board Web Site (2010), http:\/\/www.ifrs.org\/Home.htm"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-540-73094-1_12","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"K.M. Hee van","year":"2007","unstructured":"van Hee, K.M., Serebrenik, A., Sidorova, N., van der Aalst, W.M.P.: History-dependent petri nets. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 164\u2013183. Springer, Heidelberg (2007)"},{"key":"7_CR7","volume-title":"Coloured Petri nets: basic concepts, analysis methods and practical use","author":"K. Jensen","year":"1995","unstructured":"Jensen, K.: Coloured Petri nets: basic concepts, analysis methods and practical use, vol.\u00a02. Springer, London (1995)"},{"key":"7_CR8","volume-title":"Information Systems Engineering, a Formal Approach","author":"K.M. Hee van","year":"1994","unstructured":"van Hee, K.M.: Information Systems Engineering, a Formal Approach. Cambridge University Press, New York (1994)"},{"key":"7_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods and Systems","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods and Systems. MIT Press, Cambridge (2002)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"7_CR11","volume-title":"Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications","author":"C. Girault","year":"2001","unstructured":"Girault, C., Valk, R.: Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer, New York (2001)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/BFb0055646","volume-title":"CONCUR \u201998 Concurrency Theory","author":"P. Darondeau","year":"1998","unstructured":"Darondeau, P.: Deriving Unbounded Petri Nets from Formal Languages. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 533\u2013548. Springer, Heidelberg (1998)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-540-68746-7_24","volume-title":"Applications and Theory of Petri Nets","author":"J.M.E.M. Werf van der","year":"2008","unstructured":"van der Werf, J.M.E.M., van Dongen, B.F., Hurkens, C.A.J., Serebrenik, A.: Process Discovery Using Integer Linear Programming. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol.\u00a05062, pp. 368\u2013387. Springer, Heidelberg (2008)"},{"key":"7_CR14","volume-title":"Introduction to Probability Models","author":"S. Ross","year":"2007","unstructured":"Ross, S.: Introduction to Probability Models. Academic Press, London (2007)"},{"key":"7_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri nets : modelling and validation of concurrent systems","author":"K. Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.: Coloured Petri nets: modelling and validation of concurrent systems. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-18222-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T16:09:22Z","timestamp":1740758962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-18222-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642182211","9783642182228"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-18222-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}