{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:08:34Z","timestamp":1761620914157},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297369"},{"type":"electronic","value":"9783540321163"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11575771_16","type":"book-chapter","created":{"date-parts":[[2005,10,10]],"date-time":"2005-10-10T19:07:11Z","timestamp":1128971231000},"page":"220-237","source":"Crossref","is-referenced-by-count":12,"title":["Petri Net + Nested Relational Calculus = Dataflow"],"prefix":"10.1007","author":[{"given":"Jan","family":"Hidders","sequence":"first","affiliation":[]},{"given":"Natalia","family":"Kwasnikowska","sequence":"additional","affiliation":[]},{"given":"Jacek","family":"Sroka","sequence":"additional","affiliation":[]},{"given":"Jerzy","family":"Tyszkiewicz","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Van den Bussche","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"van der Aalst, W.: The application of petri nets to workflow management. The Journal of Circuits, Systems and Computers, 21\u201366 (1998)","key":"16_CR1","DOI":"10.1142\/S0218126698000043"},{"doi-asserted-by":"crossref","unstructured":"Valk, R.: Object Petri nets: Using the nets-within-nets paradigm. In: Lectures on Concurrency and Petri Nets, pp. 819\u2013848 (2003)","key":"16_CR2","DOI":"10.1007\/978-3-540-27755-2_23"},{"doi-asserted-by":"crossref","unstructured":"Valk, R.: Self-modifying nets, a natural extension of Petri nets. In: ICALP, pp. 464\u2013476 (1978)","key":"16_CR3","DOI":"10.1007\/3-540-08860-1_35"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1145\/237496.237498","volume":"14","author":"A. Oberweis","year":"1996","unstructured":"Oberweis, A., Sander, P.: Information system behavior specification by high level petri nets. ACM Trans. Inf. Syst.\u00a014, 380\u2013420 (1996)","journal-title":"ACM Trans. Inf. Syst."},{"doi-asserted-by":"crossref","unstructured":"Buneman, P., Naqvi, S., Tannen, V., Wong, L.: Principles of programming with complex objects and collection types. Theoretical Computer Science, 3\u201348 (1995)","key":"16_CR5","DOI":"10.1016\/0304-3975(95)00024-Q"},{"doi-asserted-by":"crossref","unstructured":"Moggi, E.: Notions of computation and monads. Information and Computation, 55\u201392 (1991)","key":"16_CR6","DOI":"10.1016\/0890-5401(91)90052-4"},{"doi-asserted-by":"crossref","unstructured":"Oinn, T., Addis, M., Ferris, J., Marvin, D., Greenwood, M., Carver, T., Wipat, A., Li, P.: Taverna: A tool for the composition and enactment of bioinformatics workflows. Bioinformatics (2004)","key":"16_CR7","DOI":"10.1093\/bioinformatics\/bth361"},{"unstructured":"Object Management Group: Unified modeling language resource page, http:\/\/www.uml.org\/","key":"16_CR8"},{"doi-asserted-by":"crossref","unstructured":"Altschul, S., Gish, W., Miller, W., Myers, E., Lipman, D.: Basic local alignment search tool. J. Mol. Biol., 403\u2013410 (1990)","key":"16_CR9","DOI":"10.1016\/S0022-2836(05)80360-2"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1093\/nar\/gkg095","volume":"31","author":"B. Boeckmann","year":"2003","unstructured":"Boeckmann, B., Bairoch, A., Apweiler, R., Blatter, M., Estreicher, A., et al.: The swiss-prot protein knowledgebase and its supplement trembl in 2003. Nucleic Acids Research\u00a031, 365\u2013370 (2003)","journal-title":"Nucleic Acids Research"},{"key":"16_CR11","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1016\/S0168-9525(00)02024-2","volume":"16","author":"P. Rice","year":"2000","unstructured":"Rice, P., Longden, I., Bleasby, A.: Emboss: The european molecular biology open software suite. Trends in Genetics\u00a016, 276\u2013277 (2000)","journal-title":"Trends in Genetics"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/3-540-44895-0_23","volume-title":"Business Process Management","author":"P. Chrz\u0105stowski-Wachtel","year":"2003","unstructured":"Chrz\u0105stowski-Wachtel, P., Benatallah, B., Hamadi, R., O\u2019Dell, M., Susanto, A.: A top-down petri net-based approach for dynamic workflow modeling. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, pp. 336\u2013353. Springer, Heidelberg (2003)"},{"unstructured":"Gambin, A., Hidders, J., Kwasnikowska, N., Lasota, S., Sroka, J., Tyszkiewicz, J., Van den Bussche, J.: NRC as a formal model for expressing bioinformatics workflows. Poster at ISMB 2005 (2005)","key":"16_CR13"},{"doi-asserted-by":"crossref","unstructured":"Dumont, D., Noben, J.P., Raus, J., Stinissen, P., Robben, J.: Proteomic analysis of cerebrospinal fluid from multiple sclerosis patients. Proteomics\u00a04 (2004)","key":"16_CR14","DOI":"10.1002\/pmic.200300715"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11575771_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T07:17:51Z","timestamp":1586503071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11575771_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297369","9783540321163"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11575771_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}