{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:41:00Z","timestamp":1725543660433},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540346999"},{"type":"electronic","value":"9783540347002"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767589_7","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T14:38:34Z","timestamp":1150814314000},"page":"105-124","source":"Crossref","is-referenced-by-count":1,"title":["Non-sequential Behaviour of Dynamic Nets"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bruni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hern\u00e1n","family":"Melgratti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Asperti, A., Busi, N.: Mobile Petri nets. Technical Report UBLCS 96-10, Computer Science Department, University of Bologna (1996)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/3-540-44685-0_26","volume-title":"CONCUR 2001 - Concurrency Theory","author":"P. Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., K\u00f6nig, B.: A static analysis technique for graph transformation systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 381\u2013395. Springer, Heidelberg (2001)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/3-540-47993-7_18","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"N. Benton","year":"2002","unstructured":"Benton, N., Cardelli, L., Fournet, C.: Modern concurrency abstractions for C\n                    \n                      \n                    \n                    $^{\\sharp}$\n                  . In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 415\u2013440. Springer, Heidelberg (2002)"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-540-27755-2_7","volume-title":"Lectures on Concurrency and Petri Nets, Advances in Petri Nets","author":"R. Bruni","year":"2004","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Extending the zero-safe approach to coloured, reconfigurable and dynamic nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 291\u2013327. Springer, Heidelberg (2004)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/3-540-45315-6_7","volume-title":"Foundations of Software Science and Computation Structures","author":"M. Buscemi","year":"2001","unstructured":"Buscemi, M., Sassone, V.: High-level Petri nets as type theories in the Join calculus. In: Honsell, F., Miculan, M. (eds.) FOSSACS 2001. LNCS, vol.\u00a02030, pp. 104\u2013120. Springer, Heidelberg (2001)"},{"key":"7_CR6","first-page":"22","volume-title":"Proc. ASA 1999 \/ MA 1999","author":"S. Conchon","year":"1999","unstructured":"Conchon, S., Le Fessant, F.: Jocaml: Mobile agents for Objective-Caml. In: Proc. ASA 1999 \/ MA 1999, pp. 22\u201329. IEEE, Los Alamitos (1999)"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/237721.237805","volume-title":"Proc. POPL 1996","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G.: The reflexive chemical abstract machine and the Join calculus. In: Proc. POPL 1996, pp. 372\u2013385. ACM Press, New York (1996)"},{"key":"7_CR8","first-page":"125","volume":"57","author":"U. Goltz","year":"1983","unstructured":"Goltz, U., Reisig, W.: The non-sequential behaviour of Petri nets. Inform. and Comput.\u00a057, 125\u2013147 (1983)","journal-title":"Inform. and Comput."},{"key":"7_CR9","series-title":"Formal Models and Sematics","first-page":"633","volume-title":"Handbook of Theoretical Computer Science","author":"C. Gunter","year":"1990","unstructured":"Gunter, C., Scott, D.: Semantic domains. In: Handbook of Theoretical Computer Science. Formal Models and Sematics, vol.\u00a0B, pp. 633\u2013674. MIT Press, Cambridge (1990)"},{"key":"7_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic Model Checking. Kluwer, Dordrecht (1993)"},{"key":"7_CR11","unstructured":"Melgratti, H.: Models and Languages for Global Computing Transactions. PhD thesis, Computer Science Department, University of Pisa (2005)"},{"issue":"1-2","key":"7_CR12","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0304-3975(95)00121-2","volume":"153","author":"J. Meseguer","year":"1996","unstructured":"Meseguer, J., Montanari, U., Sassone, V.: Process versus unfolding semantics for place\/transition Petri nets. Theoret. Comput. Sci.\u00a0153(1-2), 171\u2013210 (1996)","journal-title":"Theoret. Comput. Sci."},{"key":"7_CR13","unstructured":"Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Institut f\u00fcr Instrumentelle Mathematik, Bonn (1962)"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency - ICATPN 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767589_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:11:31Z","timestamp":1619507491000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767589_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346999","9783540347002"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11767589_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}