{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:33:35Z","timestamp":1743057215715,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642342219"},{"type":"electronic","value":"9783642342226"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34222-6_14","type":"book-chapter","created":{"date-parts":[[2012,10,5]],"date-time":"2012-10-05T01:55:55Z","timestamp":1349402155000},"page":"183-197","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modelling Provenance Using Structured Occurrence Networks"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Missier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Randell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/11890850_14","volume-title":"Provenance and Annotation of Data","author":"I. Altintas","year":"2006","unstructured":"Altintas, I., Barney, O., Jaeger-Frank, E.: Provenance Collection Support in the Kepler Scientific Workflow System. In: Moreau, L., Foster, I. (eds.) IPAW 2006. LNCS, vol.\u00a04145, pp. 118\u2013132. Springer, Heidelberg (2006)"},{"issue":"1","key":"14_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1987","unstructured":"Best, E., Devillers, R.: Sequential and concurrent behaviour in Petri net theory. Theoretical Computer Science\u00a055(1), 87\u2013136 (1987)","journal-title":"Theoretical Computer Science"},{"issue":"5","key":"14_CR3","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1016\/j.future.2008.06.012","volume":"25","author":"E. Deelman","year":"2009","unstructured":"Deelman, E., Gannon, D., Shields, M., Taylor, I.: Workflows and e-Science: An overview of workflow system features and capabilities. Future Generation Computer Systems\u00a025(5), 528\u2013540 (2009)","journal-title":"Future Generation Computer Systems"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Garijo, D., Gil, Y.: A New Approach for Publishing Workflows: Abstractions, Standards, and Linked Data. In: Proceedings of the Sixth Workshop on Workflows in Support of Large-Scale Science (WORKS 2011), held in conjunction with SC 2011, Seattle, Washington (2011)","DOI":"10.1145\/2110497.2110504"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1002\/cpe.1227","volume":"20","author":"D.A. Holland","year":"2008","unstructured":"Holland, D.A., Seltzer, M.I., Braun, U., Muniswamy-Reddy, K.-K.: PASSing the provenance challenge. Concurrency and Computation: Practice and Experience\u00a020, 531\u2013540 (2008)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Harel, D., Thiagarajan, P.: Message Sequence Charts. In: Lavagno, L., Martin, G., Selic, B. (eds.) UML for Real, pp. 77\u2013105. Springer US (2004)","DOI":"10.1007\/0-306-48738-1_4"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-642-24541-1_22","volume-title":"Dependable and Historic Computing","author":"J. Kleijn","year":"2011","unstructured":"Kleijn, J., Koutny, M.: Causality in Structured Occurrence Nets. In: Jones, C.B., Lloyd, J.L. (eds.) Dependable and Historic Computing. LNCS, vol.\u00a06875, pp. 283\u2013297. Springer, Heidelberg (2011)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Koutny, M., Randell, B.: Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques. Fundamenta Informaticae\u00a097 (2009)","DOI":"10.3233\/FI-2009-192"},{"key":"14_CR9","first-page":"648","volume":"4","author":"D. Koop","year":"2011","unstructured":"Koop, D., Santos, E., Mates, P., Vo, H.T., Bonnet, P., Bauer, B., Surer, B., Troyer, M., Williams, D.N., Tohline, J.E., Freire, J., Silva, C.T.: A Provenance-Based Infrastructure to Support the Life Cycle of Executable Papers. Procedia CS\u00a04, 648\u2013657 (2011)","journal-title":"Procedia CS"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Lim, C., Lu, S., Chebotko, A., Fotouhi, F.: Prospective and Retrospective Provenance Collection in Scientific Workflow Environments. In: 2010 IEEE International Conference on Services Computing (SCC), pp. 449\u2013456 (July 2010)","DOI":"10.1109\/SCC.2010.18"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Parks, T.M.: Dataflow Process Networks. Memorandum 5, UC Berkeley EECS Dept. (1995)","DOI":"10.1109\/5.381846"},{"issue":"21","key":"14_CR12","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1016\/j.future.2010.07.005","volume":"7","author":"L. Moreau","year":"2011","unstructured":"Moreau, L., Clifford, B., Freire, J., Futrelle, J., Gil, Y., Groth, P., Kwasnikowska, N., Miles, S., Missier, P., Myers, J., Plale, B., Simmhan, Y., Stephan, E., Van Den Bussche, J.: The Open Provenance Model \u2014 Core Specification (v1.1). Future Generation Computer Systems\u00a07(21), 743\u2013756 (2011)","journal-title":"Future Generation Computer Systems"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Marinho, A., Murta, L., Werner, C.: ProvManager: a provenance management system for scientific workflows. Concurrency and Computation: Practice and Experience, n\/a\u2013n\/a (2011)","DOI":"10.1002\/cpe.1870"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Missier, P., Paton, N., Belhajjame, K.: Fine-grained and efficient lineage querying of collection-based workflow provenance. In: Procs. EDBT, Lausanne, Switzerland (2010)","DOI":"10.1145\/1739041.1739079"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-642-17819-1_16","volume-title":"Provenance and Annotation of Data and Processes","author":"P. Missier","year":"2010","unstructured":"Missier, P., Sahoo, S.S., Zhao, J., Goble, C., Sheth, A.: Janus: From Workflows to Semantic Provenance and Linked Open Data. In: McGuinness, D.L., Michaelis, J.R., Moreau, L. (eds.) IPAW 2010. LNCS, vol.\u00a06378, pp. 129\u2013141. Springer, Heidelberg (2010)"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-21834-7_1","volume-title":"Applications and Theory of Petri Nets","author":"B. Randell","year":"2011","unstructured":"Randell, B.: Occurrence Nets Then and Now: The Path to Structured Occurrence Nets. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol.\u00a06709, pp. 1\u201316. Springer, Heidelberg (2011)"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Simmhan, Y.L., Plale, B., Gannon, D.: Karma2: Provenance management for data driven workflows. International Journal of Web Services Research\u00a05(1) (2008)","DOI":"10.4018\/jwsr.2008040101"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Scheidegger, C.E., Vo, H.T., Koop, D., Freire, J.: Querying and Re-Using Workflows with VisTrails. In: Procs. SIGMOD, pp. 1251\u20131254 (2008)","DOI":"10.1145\/1376616.1376747"}],"container-title":["Lecture Notes in Computer Science","Provenance and Annotation of Data and Processes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34222-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,8]],"date-time":"2022-09-08T09:08:09Z","timestamp":1662628089000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-34222-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642342219","9783642342226"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34222-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}