{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:47:24Z","timestamp":1760708844719,"version":"3.41.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319194875"},{"type":"electronic","value":"9783319194882"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19488-2_11","type":"book-chapter","created":{"date-parts":[[2015,6,4]],"date-time":"2015-06-04T05:13:45Z","timestamp":1433394825000},"page":"212-233","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Petri Nets with Structured Data"],"prefix":"10.1007","author":[{"given":"Eric","family":"Badouel","sequence":"first","affiliation":[]},{"given":"Lo\u00efc","family":"H\u00e9lou\u00ebt","sequence":"additional","affiliation":[]},{"given":"Christophe","family":"Morvan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,4]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y-K.: General decidability theorems for infinite-state systems. In: Proc. of LICS 1996, pp. 313\u2013321. IEEE (1996)","DOI":"10.1109\/LICS.1996.561359"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Benjelloun, O., Manolescu, I., Milo, T., Weber, R.: Active XML: A Data-Centric Perspective on Web Services. In: BDA02 (2002)","DOI":"10.1016\/B978-155860869-6\/50115-3"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Benjelloun, O., Milo, T.: Positive active XML. In: Proc. of PODS 2004, pp. 35\u201345. ACM (2004)","DOI":"10.1145\/1055558.1055564"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-02930-1_3","volume-title":"Automata, Languages and Programming","author":"L Acciai","year":"2009","unstructured":"Acciai, L., Boreale, M.: Deciding safety properties in infinite-state pi-calculus via behavioural types. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009, Part II. LNCS, vol. 5556, pp. 31\u201342. Springer, Heidelberg (2009)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Akshay, S., H\u00e9louet, L., Mukund, M.: Sessions with an unbounded number of agents. In: ACSD 2014, vol. 4281, pp. 166\u2013175. IEEE (2014)","DOI":"10.1109\/ACSD.2014.16"},{"key":"11_CR6","unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business process execution language for Web services (BPEL4WS). version 1.1 (2003)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Badouel, E., H\u00e9lou\u00ebt, L., Kouamou, G.-E., Morvan, C.: A grammatical approach to data-centric case management in a distributed collaborative environment. In: SAC 2015. ACM (2015)","DOI":"10.1145\/2695664.2695698"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-68863-1_3","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"M Boreale","year":"2008","unstructured":"Boreale, M., Bruni, R., De Nicola, R., Loreti, M.: Sessions and pipelines for structured service programming. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol. 5051, pp. 19\u201338. Springer, Heidelberg (2008)"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-540-68265-3_5","volume-title":"Coordination Models and Languages","author":"R Bruni","year":"2008","unstructured":"Bruni, R., Lanese, I., Melgratti, H., Tuosto, E.: Multiparty Sessions in SOC. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 67\u201382. Springer, Heidelberg (2008)"},{"issue":"3","key":"11_CR10","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. ACM Trans. Database Syst. 37(3), 22 (2012)","journal-title":"ACM Trans. Database Syst."},{"issue":"5","key":"11_CR11","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1002\/jgt.3190160509","volume":"16","author":"G Ding","year":"1992","unstructured":"Ding, G.: Subgraphs and well-quasi-ordering. Journal of Graph Theory 16(5), 489\u2013502 (1992)","journal-title":"Journal of Graph Theory"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/BFb0055044","volume-title":"Automata, Languages and Programming","author":"C Dufourd","year":"1998","unstructured":"Dufourd, C., Finkel, A., Schnoebelen, P.: Reset nets between decidability and undecidability. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol. 1443, p. 103. Springer, Heidelberg (1998)"},{"issue":"1\u20132","key":"11_CR13","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0304-3975(00)00102-X","volume":"256","author":"A Finkel","year":"2001","unstructured":"Finkel, A., Schnoebelen, P.: Well-structured transition systems everywhere!. Theor. Comput. Sci. 256(1\u20132), 63\u201392 (2001)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR14","unstructured":"Genest, B., Muscholl, A., Wu, Z .: Verifying recursive active documents with positive data tree rewriting. In Proc. of FSTTCS 2010, volume 8 of LIPIcs, pp. 469\u2013480. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2010)"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","first-page":"207","volume-title":"Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986","author":"HJ Genrich","year":"1986","unstructured":"Genrich, H.J.: Predicate\/transition nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986. LNCS, vol. 254, pp. 207\u2013247. Springer, Heidelberg (1986)"},{"issue":"2","key":"11_CR16","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1112\/plms\/s3-2.1.326","volume":"3","author":"G Higman","year":"1952","unstructured":"Higman, G.: Ordering by divisibility in abstract algebras. Proc. London Math. Soc. 3(2), 326\u2013336 (1952)","journal-title":"Proc. London Math. Soc."},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL, pp. 273\u2013284. ACM (2008)","DOI":"10.1145\/1328897.1328472"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"WS-FM 2010","author":"R Hull","year":"2011","unstructured":"Hull, R., Damaggio, E., Fournier, F., Gupta, M., Heath III, F.T., Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P., Vaculin, R.: Introducing the guard-stage-milestone approach for specifying business entity lifecycles (invited talk). In: Bravetti, M. (ed.) WS-FM 2010. LNCS, vol. 6551, pp. 1\u201324. Springer, Heidelberg (2011)"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, vol. 1, 2nd edn. Monographs in Theoretical Computer Science, An EATCS Series (1996)","DOI":"10.1007\/978-3-662-03241-1_1"},{"issue":"3","key":"11_CR20","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."},{"key":"11_CR21","unstructured":"Lenz, K., Oberweis, A.: Modeling interorganizational workflows with XML nets. In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34) (2001)"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Irina, A.: Lomazova and Ph. Schnoebelen. Some decidability results for nested Petri nets. In: Perspectives of System Informatics, pp. 208\u2013220 (1999)","DOI":"10.1007\/3-540-46562-6_18"},{"issue":"1","key":"11_CR23","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10270-006-0012-1","volume":"6","author":"J Misra","year":"2007","unstructured":"Misra, J., Cook, W.: Computation orchestration. Software and Systems Modeling 6(1), 83\u2013110 (2007)","journal-title":"Software and Systems Modeling"},{"key":"11_CR24","unstructured":"Mlynkova, I., Toman, K., Pokorn\u00fd, J.: Statistical analysis of real XML data collections. In: Proc. of International Conference on Management of Data 2006, pp. 15\u201326. Tata McGraw-Hill (2006)"},{"key":"11_CR25","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, 428\u2013445 (2003)","journal-title":"IBM Syst. J."},{"key":"11_CR26","unstructured":"OASIS. Web Services Business Process Execution Language. Technical report, OASIS (2007). http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.pdf"},{"issue":"1","key":"11_CR27","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.jal.2011.11.002","volume":"10","author":"R Pugliese","year":"2012","unstructured":"Pugliese, R., Tiezzi, F.: A calculus for orchestration of Web services. J. Applied Logic 10(1), 2\u201331 (2012)","journal-title":"J. Applied Logic"},{"key":"11_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-12032-9_8","volume-title":"Foundations of Software Science and Computational Structures","author":"T Wies","year":"2010","unstructured":"Wies, T., Zufferey, D., Henzinger, T.A.: Forward analysis of depth-bounded processes. In: Ong, L. (ed.) FOSSACS 2010. LNCS, vol. 6014, pp. 94\u2013108. Springer, Heidelberg (2010)"},{"key":"11_CR29","unstructured":"World Wide Web Consortium. XML path language (xpath). Technical report, W3C. W3C Recommendation (1999). http:\/\/www.w3.org\/TR\/xpath"},{"key":"11_CR30","unstructured":"World Wide Web Consortium. XQuery 1.0: An XML Query Language. Technical report, W3C. W3C Recommendation (1999). http:\/\/www.w3.org\/TR\/xquery"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19488-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T09:30:35Z","timestamp":1748424635000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19488-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319194875","9783319194882"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19488-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"4 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}