{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:28Z","timestamp":1761611188222},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540373766"},{"type":"electronic","value":"9783540373773"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11817949_12","type":"book-chapter","created":{"date-parts":[[2006,8,2]],"date-time":"2006-08-02T19:59:29Z","timestamp":1154548769000},"page":"173-187","source":"Crossref","is-referenced-by-count":8,"title":["Transition Systems of Elementary Net Systems with Localities"],"prefix":"10.1007","author":[{"given":"Maciej","family":"Koutny","sequence":"first","affiliation":[]},{"given":"Marta","family":"Pietkiewicz-Koutny","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"Finite Transition Systems","author":"A. Arnold","year":"1994","unstructured":"Arnold, A.: Finite Transition Systems. Prentice Hall International, Englewood Cliffs (1994)"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/S0304-3975(96)00219-8","volume":"186","author":"E. Badouel","year":"1997","unstructured":"Badouel, E., Bernardinello, L., Darondeau, P.: The Synthesis Problem for Elementary Net Systems is NP-complete. Theoretical Computer Science\u00a0186, 107\u2013134 (1997)","journal-title":"Theoretical Computer Science"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","volume-title":"Lectures on Petri Nets I: Basic Models","author":"E. Badouel","year":"1998","unstructured":"Badouel, E., Darondeau, P.: Theory of Regions. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 529\u2013586. Springer, Heidelberg (1998)"},{"key":"12_CR4","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-1-4471-3078-9_5","volume-title":"Structures in Concurrency Theory","author":"L. Bernardinello","year":"1995","unstructured":"Bernardinello, L., De Michelis, G., Petruni, K., Vigna, S.: On the Synchronic Structure of Transition Systems. In: Desel, J. (ed.) Structures in Concurrency Theory. Workshops in Computing, pp. 69\u201384. Springer, Heidelberg (1995)"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/3-540-63141-0_11","volume-title":"CONCUR\u201997: Concurrency Theory","author":"N. Busi","year":"1997","unstructured":"Busi, N., Pinna, G.M.: Synthesis of Nets with Inhibitor Arcs. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol.\u00a01243, pp. 151\u2013165. Springer, Heidelberg (1997)"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.entcs.2005.05.037","volume":"146","author":"S. Dasgupta","year":"2006","unstructured":"Dasgupta, S., Potop-Butucaru, D., Caillaud, B., Yakovlev, A.: Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits. Electronic Notes in Theoretical Computer Science\u00a0146, 81\u2013103 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A. Ehrenfeucht","year":"1990","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial 2-structures; Part I: Basic Notions and the Representation Problem, and Part II: State Spaces of Concurrent Systems. Acta Informatica\u00a027, 315\u2013368 (1990)","journal-title":"Acta Informatica"},{"key":"12_CR8","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"R.M. Keller","year":"1976","unstructured":"Keller, R.M.: Formal Verification of Parallel Programs. CACM\u00a019, 371\u2013389 (1976)","journal-title":"CACM"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11603047_20","volume-title":"Membrane Computing","author":"H.C.M. Kleijn","year":"2006","unstructured":"Kleijn, H.C.M., Koutny, M., Rozenberg, G.: Towards a Petri Net Semantics for Membrane Systems. In: Freund, R., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol.\u00a03850, pp. 292\u2013309. Springer, Heidelberg (2006)"},{"key":"12_CR10","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01178907","volume":"32","author":"U. Montanari","year":"1995","unstructured":"Montanari, U., Rossi, F.: Contextual Nets. Acta Informatica\u00a032, 545\u2013596 (1995)","journal-title":"Acta Informatica"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1142\/S0129054192000231","volume":"3","author":"M. Mukund","year":"1992","unstructured":"Mukund, M.: Petri Nets and Step Transition Systems. International Journal of Foundations of Computer Science\u00a03, 443\u2013478 (1992)","journal-title":"International Journal of Foundations of Computer Science"},{"key":"12_CR12","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. Theoretical Computer Science\u00a096, 3\u201333 (1992)","journal-title":"Theoretical Computer Science"},{"key":"12_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane Computing, An Introduction","author":"G. P\u0103un","year":"2002","unstructured":"P\u0103un, G.: Membrane Computing, An Introduction. Springer, Heidelberg (2002)"},{"key":"12_CR14","doi-asserted-by":"crossref","first-page":"251","DOI":"10.3233\/FI-1999-402307","volume":"40","author":"M. Pietkiewicz-Koutny","year":"1999","unstructured":"Pietkiewicz-Koutny, M.: The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs. Fundamenta Informaticae\u00a040, 251\u2013283 (1999)","journal-title":"Fundamenta Informaticae"},{"key":"12_CR15","first-page":"175","volume":"50","author":"M. Pietkiewicz-Koutny","year":"2002","unstructured":"Pietkiewicz-Koutny, M.: Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems. Fundamenta Informaticae\u00a050, 175\u2013203 (2002)","journal-title":"Fundamenta Informaticae"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Winskel, G., Nielsen, M.: Models for Concurrency. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol.\u00a04, pp. 1\u2013148 (1995)","DOI":"10.1093\/oso\/9780198537809.003.0001"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2006 \u2013 Concurrency Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11817949_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,5]],"date-time":"2024-02-05T20:53:39Z","timestamp":1707166419000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11817949_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540373766","9783540373773"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11817949_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}