{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T09:56:34Z","timestamp":1760608594836,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222361"},{"type":"electronic","value":"9783540277934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27793-4_16","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T22:49:31Z","timestamp":1283726971000},"page":"278-297","source":"Crossref","is-referenced-by-count":28,"title":["Properties of Object Petri Nets"],"prefix":"10.1007","author":[{"given":"Michael","family":"K\u00f6hler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heiko","family":"R\u00f6lke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0304-3975(99)00206-6","volume":"236","author":"A. Bouhoula","year":"2000","unstructured":"Bouhoula, A., Jouannaud, J.-P., Meseguer, J.: Specification and proof in membership equational logic. Theoretical Computer Science\u00a0236, 35\u2013132 (2000)","journal-title":"Theoretical Computer Science"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/3-540-48523-6_20","volume-title":"Automata, Languages and Programming","author":"L. Cardelli","year":"1999","unstructured":"Cardelli, L., Gordon, A.D., Ghelli, G.: Mobility types for mobile ambients. In: Wiedermann, J., Van Emde Boas, P., Nielsen, M. (eds.) ICALP 1999. LNCS, vol.\u00a01644, pp. 230\u2013239. Springer, Heidelberg (1999)"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-58152-9_11","volume-title":"Application and Theory of Petri Nets 1994","author":"G. Ciardo","year":"1994","unstructured":"Ciardo, G.: Petri nets with marking-dependent arc cardinality: properties and analysis. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol.\u00a0815, pp. 179\u2013199. Springer, Heidelberg (1994)"},{"key":"16_CR4","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.\u00a01443, pp. 103\u2013115. Springer, Heidelberg (1998)"},{"issue":"3","key":"16_CR5","doi-asserted-by":"crossref","first-page":"225","DOI":"10.3233\/FI-1999-37303","volume":"37","author":"B. Farwer","year":"1999","unstructured":"Farwer, B.: A linear logic view of object Petri nets. Fundamenta Informaticae\u00a037(3), 225\u2013246 (1999)","journal-title":"Fundamenta Informaticae"},{"issue":"1-2","key":"16_CR6","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! Theoretical Computer Science\u00a0256(1-2), 63\u201392 (2001)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"16_CR7","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"R.M. Karp","year":"1969","unstructured":"Karp, R.M., Miller, R.E.: Parallel program schemata. Journal of Computer and System Sciences\u00a03(2), 147\u2013195 (1969)","journal-title":"Journal of Computer and System Sciences"},{"key":"16_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FUN-2004-59101","volume":"59","author":"M. K\u00f6hler","year":"2004","unstructured":"K\u00f6hler, M., Farwer, B.: Mobile object-net systems and their processes. Fundamenta Informaticae\u00a059, 1\u201317 (2004)","journal-title":"Fundamenta Informaticae"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-44919-1_11","volume-title":"Applications and Theory of Petri Nets 2003","author":"M. K\u00f6hler","year":"2003","unstructured":"K\u00f6hler, M., Moldt, D., R\u00f6lke, H.: Modelling mobility and mobile agents using nets within nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 121\u2013140. Springer, Heidelberg (2003)"},{"key":"16_CR10","unstructured":"K\u00f6hler, M., R\u00f6lke, H.: Concurrency for mobile object-net systems. Fundamenta Informaticae\u00a054(2-3) (2003)"},{"key":"16_CR11","first-page":"18","volume":"59","author":"O. Kummer","year":"2000","unstructured":"Kummer, O.: Undecidability in object-oriented Petri nets. Petri Net Newsletter\u00a059, 18\u201323 (2000)","journal-title":"Petri Net Newsletter"},{"key":"16_CR12","volume-title":"Referenznetze","author":"O. Kummer","year":"2002","unstructured":"Kummer, O.: Referenznetze. Logos Verlag, Berlin (2002)"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/3-540-46562-6_18","volume-title":"Perspectives of System Informatics","author":"I.A. Lomazova","year":"2000","unstructured":"Lomazova, I.A., Schnoebelen, P.: Some decidability results for nested Petri nets. In: Bjorner, D., Broy, M., Zamulin, A.V. (eds.) PSI 1999. LNCS, vol.\u00a01755, pp. 208\u2013220. Springer, Heidelberg (2000)"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Mayr, E.W.: An algorithm for the general Petri net reachability problem. In: 13th Annual ACM Symposium on Theory of Computing, pp. 238\u2013246 (1981)","DOI":"10.1145\/800076.802477"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096, 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"16_CR16","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"Meseguer, J., Montanari, U.: Petri nets are monoids. Information and Computation\u00a088(2), 105\u2013155 (1990)","journal-title":"Information and Computation"},{"key":"16_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"Reisig, W.: Petri nets and algebraic specifications. Theoretical Computer Science\u00a080, 1\u201334 (1991)","journal-title":"Theoretical Computer Science"},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/3-540-45541-8_9","volume-title":"Unifying Petri Nets","author":"M.-O. Stehr","year":"2001","unstructured":"Stehr, M.-O., Meseguer, J., \u00d6lveczky, P.C.: Rewriting logic as a unifying framework for Petri nets. In: Ehrig, H., Juh\u00e1s, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02128, p. 250. Springer, Heidelberg (2001)"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1007\/3-540-08860-1_35","volume-title":"Automata, Languages and Programming","author":"R. Valk","year":"1978","unstructured":"Valk, R.: Self-modifying nets, a natural extension of Petri nets. In: Ausiello, G., B\u00f6hm, C. (eds.) ICALP 1978. LNCS, vol.\u00a062, pp. 464\u2013476. Springer, Heidelberg (1978)"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-69108-1_1","volume-title":"Application and Theory of Petri Nets 1998","author":"R. Valk","year":"1998","unstructured":"Valk, R.: Petri nets as token objects: An introduction to elementary object nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 1\u201325. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27793-4_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T15:50:34Z","timestamp":1740498634000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27793-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222361","9783540277934"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27793-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}