{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,31]],"date-time":"2025-08-31T10:09:53Z","timestamp":1756634993934,"version":"3.40.3"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030518301"},{"type":"electronic","value":"9783030518318"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-51831-8_2","type":"book-chapter","created":{"date-parts":[[2020,6,29]],"date-time":"2020-06-29T23:05:05Z","timestamp":1593471905000},"page":"24-45","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Data Centric Workflows for Crowdsourcing"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Bourhis","sequence":"first","affiliation":[]},{"given":"Lo\u00efc","family":"H\u00e9lou\u00ebt","sequence":"additional","affiliation":[]},{"given":"Zoltan","family":"Miklos","sequence":"additional","affiliation":[]},{"given":"Rituraj","family":"Singh","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,6,30]]},"reference":[{"key":"2_CR1","unstructured":"Amazon\u2019s Mechanical Turk. \nhttp:\/\/www.mturk.com"},{"key":"2_CR2","unstructured":"Crowdflower. \nhttp:\/\/www.crowdflower.com"},{"key":"2_CR3","unstructured":"Cruk\u2019s trailblazer. \nhttp:\/\/www.cancerresearchuk.org"},{"key":"2_CR4","unstructured":"Foule factory. \nhttp:\/\/www.foulefactory.com"},{"key":"2_CR5","unstructured":"Galaxy zoo. \nhttp:\/\/zoo1.galaxyzoo.org"},{"key":"2_CR6","unstructured":"Spipoll. \nhttp:\/\/www.spipoll.org"},{"issue":"4","key":"2_CR7","doi-asserted-by":"publisher","first-page":"23:1","DOI":"10.1145\/1620585.1620590","volume":"34","author":"S Abiteboul","year":"2009","unstructured":"Abiteboul, S., Segoufin, L., Vianu, V.: Static analysis of active XML systems. Trans. Database Syst. 34(4), 23:1\u201323:44 (2009)","journal-title":"Trans. Database Syst."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Vianu, V.: Collaborative data-driven workflows: think global, act local. In: Proceedings of PODS 2013, pp. 91\u2013102. ACM (2013)","DOI":"10.1145\/2463664.2463672"},{"issue":"1","key":"2_CR9","doi-asserted-by":"publisher","first-page":"35","DOI":"10.3233\/FI-2016-1375","volume":"146","author":"E Badouel","year":"2016","unstructured":"Badouel, E., H\u00e9lou\u00ebt, L., Morvan, C.: Petri nets with structured data. Fundam. Inform. 146(1), 35\u201382 (2016)","journal-title":"Fundam. Inform."},{"key":"2_CR10","unstructured":"Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying business processes. In: Proceedings of VLDB 2006, pp. 343\u2013354. ACM (2006)"},{"key":"2_CR11","unstructured":"Bernays, P., Sch\u00f6nfinkel, M.: Zum entscheidungsproblem der mathematischen logik. Math. Ann. 99(1), 342\u2013372 (1928)"},{"key":"2_CR12","unstructured":"Bourhis, O., H\u00e9lou\u00ebt, L., Miklos, Z., Singh, R.: Data centric workflows for crowdsourcing. Technical report, Univ. Rennes, INRIA, (2019). \nhttps:\/\/hal.inria.fr\/hal-02508838"},{"key":"2_CR13","unstructured":"Codd, E.F.: Relational completeness of data base sublanguages. Database Systems, pp. 65\u201398 (1972)"},{"issue":"3","key":"2_CR14","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/2338626.2338628","volume":"37","author":"E Damaggio","year":"2012","unstructured":"Damaggio, E., Deutsch, A., Vianu, V.: Artifact systems with data dependencies and arithmetic. Trans. Database Syst. 37(3), 22 (2012)","journal-title":"Trans. Database Syst."},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-030-00847-5_17","volume-title":"Conceptual Modeling","author":"M de Leoni","year":"2018","unstructured":"de Leoni, M., Felli, P., Montali, M.: A holistic approach for soundness verification of decision-aware process models. In: Trujillo, J.C., et al. (eds.) ER 2018. LNCS, vol. 11157, pp. 219\u2013235. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-030-00847-5_17"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Sui, L., Vianu, V., Zhou, D.: Verification of communicating data-driven web services. In: Proceedings of PODS 2006, pp. 90\u201399. ACM (2006)","DOI":"10.1145\/1142351.1142364"},{"issue":"8","key":"2_CR17","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"EW Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of program. Commun. ACM 18(8), 453\u2013457 (1975)","journal-title":"Commun. ACM"},{"issue":"4","key":"2_CR18","doi-asserted-by":"publisher","first-page":"901","DOI":"10.1109\/TKDE.2016.2518669","volume":"28","author":"H Garcia-Molina","year":"2016","unstructured":"Garcia-Molina, H., Joglekar, M., Marcus, A., Parameswaran, A., Verroios, V.: Challenges in data crowdsourcing. Trans. Knowl. Data Eng. 28(4), 901\u2013911 (2016)","journal-title":"Trans. Knowl. Data Eng."},{"key":"2_CR19","unstructured":"Hariri, B.B., Calvanese, D., De Giacomo, G., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: Proceedings of PODS 2013, pp. 163\u2013174 (2013)"},{"key":"2_CR20","unstructured":"Itzhaky, S., et al.: On the automated verification of web applications with embedded SQL. In: Proceedings of ICDT 2017, LIPIcs, vol. 68, pp. 16:1\u201316:18 (2017)"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-53863-1_31","volume-title":"Advances in Petri Nets 1990","author":"K Jensen","year":"1991","unstructured":"Jensen, K.: Coloured Petri nets: a high level language for system design and analysis. In: Rozenberg, G. (ed.) ICATPN 1989. LNCS, vol. 483, pp. 342\u2013416. Springer, Heidelberg (1991). \nhttps:\/\/doi.org\/10.1007\/3-540-53863-1_31"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0041-5553(80)90271-2","volume":"20","author":"LG Khashiyan","year":"1980","unstructured":"Khashiyan, L.G.: Polynomial algorithms in linear programming. U.S.S.R. Comput. Math. Math. Phys. 20, 51\u201368 (1980)","journal-title":"U.S.S.R. Comput. Math. Math. Phys."},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/11817949_32","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"D Kitchin","year":"2006","unstructured":"Kitchin, D., Cook, W.R., Misra, J.: A language for task orchestration and its semantic properties. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 477\u2013491. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11817949_32"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Kittur, A., Smus, B., Khamkar, S., Kraut, R.E.: Crowdforge: crowdsourcing complex work. In: Proceedings of UIST 2011, pp. 43\u201352. ACM (2011)","DOI":"10.1145\/1979742.1979902"},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/j.jcss.2016.11.012","volume":"86","author":"A Koutsos","year":"2017","unstructured":"Koutsos, A., Vianu, V.: Process-centric views of data-driven business artifacts. J. Comput. Syst. Sci. 86, 82\u2013107 (2017)","journal-title":"J. Comput. Syst. Sci."},{"issue":"2","key":"2_CR26","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MIC.2015.96","volume":"20","author":"P Kucherbaev","year":"2016","unstructured":"Kucherbaev, P., Daniel, F., Tranquillini, S., Marchese, M.: Crowdsourcing processes: a survey of approaches and opportunities. IEEE Internet Comput. 20(2), 50\u201356 (2016)","journal-title":"IEEE Internet Comput."},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Kulkarni, A., Can, M., Hartmann, B.: Collaboratively crowdsourcing workflows with turkomatic. In: Proceedings of CSCW 2012, pp. 1003\u20131012. ACM (2012)","DOI":"10.1145\/2145204.2145354"},{"issue":"3","key":"2_CR28","first-page":"251","volume":"88","author":"R Lazic","year":"2008","unstructured":"Lazic, R., Newcomb, T., Ouaknine, J., Roscoe, A.W., Worrell, J.: Nets with tokens which carry data. Fundam. Inform. 88(3), 251\u2013274 (2008)","journal-title":"Fundam. Inform."},{"issue":"3","key":"2_CR29","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0022-0000(80)90027-6","volume":"21","author":"HR Lewis","year":"1980","unstructured":"Lewis, H.R.: Complexity results for classes of quantificational formulas. J. Comput. Syst. Sci. 21(3), 317\u2013353 (1980)","journal-title":"J. Comput. Syst. Sci."},{"issue":"9","key":"2_CR30","doi-asserted-by":"publisher","first-page":"2296","DOI":"10.1109\/TKDE.2016.2535242","volume":"28","author":"G Li","year":"2016","unstructured":"Li, G., Wang, J., Zheng, Y., Franklin, M.J.: Crowdsourced data management: a survey. Trans. Knowl. Data Eng. 28(9), 2296\u20132319 (2016)","journal-title":"Trans. Knowl. Data Eng."},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Little, G., Chilton, L.B., Goldman, M., Miller, R.C.: Turkit: tools for iterative tasks on mechanical turk. In: Proceedings of HCOMP 2009, pp. 29\u201330. ACM (2009)","DOI":"10.1109\/VLHCC.2009.5295247"},{"key":"2_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/3-540-46562-6_18","volume-title":"Perspectives of System Informatics","author":"IA Lomazova","year":"2000","unstructured":"Lomazova, I.A., Schnoebelen, P.: Some decidability results for nested Petri nets. In: Bj\u00f8ner, D., Broy, M., Zamulin, A.V. (eds.) PSI 1999. LNCS, vol. 1755, pp. 208\u2013220. Springer, Heidelberg (2000). \nhttps:\/\/doi.org\/10.1007\/3-540-46562-6_18"},{"key":"2_CR33","unstructured":"L\u00f6wenheim, L.: \u00dcber m\u00f6glichkeiten im relativkalk\u00fcl. Math. Ann. 76(4), 447\u2013470 (1915)"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Mavridis, P., Gross-Amblard, D., Mikl\u00f3s, Z.: Using hierarchical skills for optimized task assignment in knowledge-intensive crowdsourcing. In: Proceedings of WWW 2016, pp. 843\u2013853. ACM (2016)","DOI":"10.1145\/2872427.2883070"},{"issue":"1","key":"2_CR35","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1002\/malq.19750210118","volume":"21","author":"M Mortimer","year":"1975","unstructured":"Mortimer, M.: On languages with two variables. Math. Log. Q. 21(1), 135\u2013140 (1975)","journal-title":"Math. Log. Q."},{"issue":"3","key":"2_CR36","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1147\/sj.423.0428","volume":"42","author":"A Nigam","year":"2003","unstructured":"Nigam, A., Caswell, N.S.: Business artifacts: an approach to operational specification. IBM Syst. J. 42(3), 428\u2013445 (2003)","journal-title":"IBM Syst. J."},{"key":"2_CR37","unstructured":"OASIS. Web Services Business Process Execution Language. Technical report, OASIS (2007). \nhttp:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.pdf"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Sturm, T., Voigt, M., Weidenbach, C.: Deciding first-order satisfiability when universal and existential variables are separated. In: Proceedings of LICS 2016, pp. 86\u201395 (2016)","DOI":"10.1145\/2933575.2934532"},{"issue":"2","key":"2_CR39","doi-asserted-by":"publisher","first-page":"7:1","DOI":"10.1145\/2746353","volume":"9","author":"S Tranquillini","year":"2015","unstructured":"Tranquillini, S., Daniel, F., Kucherbaev, P., Casati, F.: Modeling, enacting, and integrating custom crowdsourcing processes. TWEB 9(2), 7:1\u20137:43 (2015)","journal-title":"TWEB"},{"key":"2_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-78743-3_4","volume-title":"Fundamental Approaches to Software Engineering","author":"WMP van der Aalst","year":"2008","unstructured":"van der Aalst, W.M.P., Dumas, M., Gottschalk, F., ter Hofstede, A.H.M., La Rosa, M., Mendling, J.: Correctness-Preserving configuration of business process models. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 46\u201361. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-78743-3_4"},{"issue":"3","key":"2_CR41","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","volume":"23","author":"WMP Van Der Aalst","year":"2011","unstructured":"Van Der Aalst, W.M.P., et al.: Soundness of workflow nets: classification, decidability, and analysis. Formal Asp. Comput. 23(3), 333\u2013363 (2011)","journal-title":"Formal Asp. Comput."},{"key":"2_CR42","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-981-10-3996-6_2","volume-title":"Management of Information, Process and Cooperation","author":"Q Zheng","year":"2017","unstructured":"Zheng, Q., Wang, W., Yu, Y., Pan, M., Shi, X.: Crowdsourcing complex task automatically by workflow technology. In: Cao, J., Liu, J. (eds.) MIPaC 2016. CCIS, vol. 686, pp. 17\u201330. Springer, Singapore (2017). \nhttps:\/\/doi.org\/10.1007\/978-981-10-3996-6_2"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-51831-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,30]],"date-time":"2020-06-30T00:05:32Z","timestamp":1593475532000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-51831-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030518301","9783030518318"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-51831-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"30 June 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PETRI NETS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications and Theory of Petri Nets and Concurrency","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 June 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"41","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/conf-2020.petrinet.net\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"56","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"41% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1.89","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}