{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:43:20Z","timestamp":1743137000170,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662457290"},{"type":"electronic","value":"9783662457306"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","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":[[2014]]},"DOI":"10.1007\/978-3-662-45730-6_2","type":"book-chapter","created":{"date-parts":[[2014,12,2]],"date-time":"2014-12-02T17:08:59Z","timestamp":1417540139000},"page":"19-40","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Modeling Distributed Private Key Generation by Composing Petri Nets"],"prefix":"10.1007","author":[{"given":"Luca","family":"Bernardinello","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00f6rkem","family":"K\u0131l\u0131n\u00e7","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elisabetta","family":"Mangioni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucia","family":"Pomello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,12,3]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-40465-8_3","volume-title":"Transactions on Petri Nets and Other Models of Concurrency VIII","author":"L Bernardinello","year":"2013","unstructured":"Bernardinello, L., Mangioni, E., Pomello, L.: Local state refinement and composition of elementary net systems: an approach based on morphisms. In: Koutny, M., van der Aalst, W.M.P., Yakovlev, A. (eds.) ToPNoC VIII. LNCS, vol. 8100, pp. 48\u201370. Springer, Heidelberg (2013)"},{"issue":"1\u20133","key":"2_CR2","first-page":"31","volume":"80","author":"L Bernardinello","year":"2007","unstructured":"Bernardinello, L., Monticelli, E., Pomello, L.: On preserving structural and behavioural properties by composing net systems on interfaces. Fundam. Inform. 80(1\u20133), 31\u201347 (2007)","journal-title":"Fundam. Inform."},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1137\/S0097539701398521","volume":"32","author":"D Boneh","year":"2003","unstructured":"Boneh, D., Franklin, M.K.: Identity-based encryption from the weil pairing. SIAM J. Comput. 32, 586\u2013615 (2003)","journal-title":"SIAM J. Comput."},{"key":"2_CR4","unstructured":"Kate, A., Goldberg, I.: Asynchronous distributed private-key generators for identity-based cryptography. IACR Cryptology ePrint Archive 2009, 355 (2009)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Kilinc, G., Fovino, I.N., Ferigato, C., Koltuksuz, A.: A model of distributed key generation for industrial control systems. In: 11th Workshop on Discrete Event Systems, Guadalajara, Mexico, vol. 11, pp. 356\u2013363 (2012)","DOI":"10.3182\/20121003-3-MX-4033.00057"},{"key":"2_CR6","unstructured":"Mangioni, E.: Modularity for system modelling and analysis. Ph.D. thesis, Universit\u00e1 degli Studi di Milano-Bicocca, Dottorato di ricerca in Informatica, ciclo 24 (2013)"},{"key":"2_CR7","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall Inc., Upper Saddle River (1989)"},{"key":"2_CR8","doi-asserted-by":"publisher","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, 85\u2013108 (1981)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"2_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(92)90180-N","volume":"96","author":"M Nielsen","year":"1992","unstructured":"Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Elementary transition systems. Theor. Comput. Sci. 96(1), 3\u201333 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/3-540-55610-9_180","volume-title":"Advances in Petri Nets 1992","author":"L Pomello","year":"1992","unstructured":"Pomello, L., Rozenberg, G., Simone, C.: A survey of equivalence notions for net based systems. In: Rozenberg, G. (ed.) APN 1992. LNCS, vol. 609, pp. 410\u2013472. Springer, Heidelberg (1992)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/3-540-65306-6_14","volume-title":"Lectures on Petri Nets I: Basic Models","author":"G Rozenberg","year":"1998","unstructured":"Rozenberg, G., Engelfriet, J.: Elementary net systems. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 12\u2013121. Springer, Heidelberg (1998)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/3-540-39568-7_5","volume-title":"Advances in Cryptology","author":"A Shamir","year":"1985","unstructured":"Shamir, A.: Identity-based cryptosystems and signature schemes. In: Blakely, G.R., Chaum, D. (eds.) CRYPTO 1984. LNCS, vol. 196, pp. 47\u201353. Springer, Heidelberg (1985)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency IX"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45730-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T02:26:27Z","timestamp":1676427987000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-45730-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662457290","9783662457306"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45730-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"3 December 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}