{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T03:43:35Z","timestamp":1725853415693},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319336114"},{"type":"electronic","value":"9783319336121"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-33612-1_3","type":"book-chapter","created":{"date-parts":[[2016,4,19]],"date-time":"2016-04-19T08:18:38Z","timestamp":1461053918000},"page":"29-47","source":"Crossref","is-referenced-by-count":0,"title":["Formal Verification of Petri Nets with Names"],"prefix":"10.1007","author":[{"given":"Marco","family":"Montali","sequence":"first","affiliation":[]},{"given":"Andrey","family":"Rivkin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,20]]},"reference":[{"key":"3_CR1","unstructured":"Bagheri Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. CoRR Technical report, arXiv.org e-Print archive (2012). \n                      http:\/\/arxiv.org\/abs\/1203.0024"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Bagheri Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: Proceedings of PODS, pp. 163\u2013174. ACM (2013)","DOI":"10.1145\/2463664.2465221"},{"key":"3_CR3","unstructured":"Bagheri Hariri, B., Calvanese, D., Deutsch, A., Montali, M.: State boundedness in data-aware dynamic systems. In: Proceedings of KR (2014)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Montali, M.: Foundations of data aware process analysis: a database theory perspective. In: Proceedings of PODS (2013)","DOI":"10.1145\/2463664.2467796"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Decker, G., Weske, M.: Instance isolation analysis for service-oriented architectures. In: Proceedings of SCC, pp. 249\u2013256. IEEE Computer Society (2008)","DOI":"10.1109\/SCC.2008.44"},{"issue":"3","key":"3_CR6","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1145\/1507244.1507246","volume":"10","author":"S Demri","year":"2009","unstructured":"Demri, S., Lazic, R.: LTL with the freeze quantifier and register automata. ACM Trans. Comput. Log 10(3), 16 (2009)","journal-title":"ACM Trans. Comput. Log"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BFb0017477","volume-title":"Trees in Algebra and Programming","author":"J Esparza","year":"1994","unstructured":"Esparza, J.: On the decidability of model checking for several \n                      \n                        \n                      \n                      $$\\mu $$\n                    -calculi and petri nets. In: Tison, S. (ed.) CAPP 1994. LNCS, vol. 787, pp. 115\u2013129. Springer, Heidelberg (1994)"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets I: Basic Models. Advances in Petri Nets","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets I: Basic Models. Advances in Petri Nets. LNCS, vol. 1491. Springer, Heidelberg (1998)"},{"issue":"3","key":"3_CR9","first-page":"329","volume":"88","author":"F Rosa-Velardo","year":"2008","unstructured":"Rosa-Velardo, F., de Frutos-Escrig, D.: Name creation vs. replication in petri net systems. Fundam. Inform. 88(3), 329\u2013356 (2008)","journal-title":"Fundam. Inform."},{"issue":"34","key":"3_CR10","doi-asserted-by":"publisher","first-page":"4439","DOI":"10.1016\/j.tcs.2011.05.007","volume":"412","author":"F Rosa-Velardo","year":"2011","unstructured":"Rosa-Velardo, F., de Frutos-Escrig, D.: Decidability and complexity of petri nets with unordered data. Theor. Comput. Sci. 412(34), 4439\u20134451 (2011)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Web Services, Formal Methods, and Behavioral Types"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-33612-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T00:40:31Z","timestamp":1559436031000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-33612-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319336114","9783319336121"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-33612-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}