{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:41:37Z","timestamp":1725860497429},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319415789"},{"type":"electronic","value":"9783319415796"}],"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-41579-6_23","type":"book-chapter","created":{"date-parts":[[2016,6,27]],"date-time":"2016-06-27T02:44:48Z","timestamp":1466995488000},"page":"303-313","source":"Crossref","is-referenced-by-count":0,"title":["Branching Processes of Timed Petri Nets"],"prefix":"10.1007","author":[{"given":"Irina","family":"Virbitskaite","sequence":"first","affiliation":[]},{"given":"Victor","family":"Borovlyov","sequence":"additional","affiliation":[]},{"given":"Louchka","family":"Popova-Zeugmann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,28]]},"reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/3-540-63139-9_34","volume-title":"Application and Theory of Petri Nets 1997","author":"T Aura","year":"1997","unstructured":"Aura, T., Lilius, J.: Time processes for time Petri nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 136\u2013155. Springer, Heidelberg (1997)"},{"key":"23_CR2","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.tcs.2012.04.046","volume":"449","author":"P Baldan","year":"2012","unstructured":"Baldan, P., Bruni, A., Corradini, A., Koenig, B., Rodriguez, C., Schwoon, S.: Efficient unfolding of contextual Petri nets. Theor. Comput. Sci. 449, 2\u201322 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/11690634_9","volume-title":"Foundations of Software Science and Computation Structures","author":"P Baldan","year":"2006","unstructured":"Baldan, P., Haar, S., K\u00f6nig, B.: Distributed unfolding of Petri nets. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006. LNCS, vol. 3921, pp. 126\u2013141. Springer, Heidelberg (2006)"},{"issue":"5","key":"23_CR4","doi-asserted-by":"crossref","first-page":"714","DOI":"10.1109\/TAC.2003.811249","volume":"48","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Fabre, E., Jard, C., Haar, S.: Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Trans. Autom. Control 48(5), 714\u2013727 (2003)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"3\u20134","key":"23_CR5","doi-asserted-by":"crossref","first-page":"331","DOI":"10.3233\/FI-2009-134","volume":"94","author":"R Bergenthum","year":"2009","unstructured":"Bergenthum, R., Mauser, S., Lorenz, R., Juhas, G.: Unfolding semantics of Petri nets based on token flows. Fundamenta Informaticae 94(3\u20134), 331\u2013360 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1007\/978-3-540-89287-8_11","volume-title":"Transactions on Petri Nets and Other Models of Concurrency I","author":"B Bonet","year":"2008","unstructured":"Bonet, B., Haslum, P., Hickmott, S.L., Thi\u00e9baux, S.: Directed unfolding of Petri nets. In: Jensen, K., Aalst, W.M.P., Billington, J. (eds.) Transactions on Petri Nets and Other Models of Concurrency I. LNCS, vol. 5100, pp. 172\u2013198. Springer, Heidelberg (2008)"},{"key":"23_CR7","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1016\/j.tcs.2014.07.003","volume":"551","author":"B Bonet","year":"2014","unstructured":"Bonet, B., Haslumb, P., Khomenko, V., Thiebauxb, S., Vogler, W.: Recent advances in unfolding technique. Theor. Comput. Sci. 551, 84\u2013101 (2014)","journal-title":"Theor. Comput. Sci."},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/11603009_16","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"T Chatain","year":"2005","unstructured":"Chatain, T., Jard, C.: Time supervision of concurrent systems using symbolic unfoldings of time Petri nets. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol. 3829, pp. 196\u2013210. Springer, Heidelberg (2005)"},{"key":"23_CR9","doi-asserted-by":"crossref","first-page":"31","DOI":"10.3233\/FI-2013-782","volume":"122","author":"J Couvreur","year":"2013","unstructured":"Couvreur, J., Poitrenaud, D., Weil, P.: Branching processes of general Petri nets. Fundamenta Informaticae 122, 31\u201358 (2013)","journal-title":"Fundamenta Informaticae"},{"issue":"6","key":"23_CR10","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/BF01463946","volume":"28","author":"J Engelfriet","year":"1991","unstructured":"Engelfriet, J.: Branching processes of Petri nets. Acta Informatica 28(6), 575\u2013591 (1991)","journal-title":"Acta Informatica"},{"issue":"2\u20133","key":"23_CR11","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/0167-6423(94)00019-0","volume":"23","author":"J Esparza","year":"1994","unstructured":"Esparza, J.: Model checking using net unfoldings. Sci. Comput. Program. 23(2\u20133), 151\u2013195 (1994)","journal-title":"Sci. Comput. Program."},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/3-540-44919-1_25","volume-title":"Applications and Theory of Petri Nets 2003","author":"H Fleischhack","year":"2003","unstructured":"Fleischhack, H., Pelz, E.: Hierarchical timed high level nets and their branching processes. In: Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 397\u2013416. Springer, Heidelberg (2003)"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/3-540-48068-4_11","volume-title":"Application and Theory of Petri Nets 2002","author":"H Fleischhack","year":"2002","unstructured":"Fleischhack, H., Stehno, C.: Computing a finite prefix of a time Petri net. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol. 2360, pp. 163\u2013181. Springer, Heidelberg (2002)"},{"key":"23_CR14","unstructured":"Hickmott, S., Rintanen, J., Thiebaux, S., White, L.: Planning via Petri net unfolding. In: Proceedings of 20th International Joint Conference on Artificial Intelligence. AAAI Press, pp. 1904\u20131911(2007)"},{"issue":"2","key":"23_CR15","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/s00236-003-0122-y","volume":"40","author":"V Khomenko","year":"2003","unstructured":"Khomenko, V., Koutny, M., Vogler, W.: Canonical prefixes of Petri net unfoldings. Acta Informatica 40(2), 95\u2013118 (2003)","journal-title":"Acta Informatica"},{"issue":"4","key":"23_CR16","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1017\/S0960129597002314","volume":"7","author":"J Meseguer","year":"1997","unstructured":"Meseguer, J., Montanari, U., Sassone, V.: On the semantics of place\/transition Petri nets. Math. Struct. Comput. Sci. 7(4), 359\u2013397 (1997)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1","key":"23_CR17","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains. part i. theor. comput. sci. 13(1), 85\u2013108 (1981)","journal-title":"part i. theor. comput. sci."},{"key":"23_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-41115-1_1","volume-title":"Time and Petri Nets","author":"L Popova-Zeugmann","year":"2013","unstructured":"Popova-Zeugmann, L.: Time and Petri Nets, pp. 1\u2013209. Springer, Heidelberg (2013). I-XI"},{"key":"23_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1007\/3-540-60029-9_56","volume-title":"Application and Theory of Petri Nets 1995","author":"V Valero","year":"1995","unstructured":"Valero, V., de Frutos, D., Cuartero, F.: Timed processes of timed Petri nets. In: DeMichelis, G., D\u00edaz, M. (eds.) ICATPN 1995. LNCS, vol. 935, pp. 490\u2013509. Springer, Heidelberg (1995)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-41579-6_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,22]],"date-time":"2020-09-22T23:42:44Z","timestamp":1600818164000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-41579-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319415789","9783319415796"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-41579-6_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}