{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:03:44Z","timestamp":1725865424224},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319467498"},{"type":"electronic","value":"9783319467504"}],"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-46750-4_7","type":"book-chapter","created":{"date-parts":[[2016,9,21]],"date-time":"2016-09-21T02:11:57Z","timestamp":1474423917000},"page":"103-120","source":"Crossref","is-referenced-by-count":0,"title":["Synthesis of Petri Nets with Whole-Place Operations and Localities"],"prefix":"10.1007","author":[{"given":"Jetty","family":"Kleijn","sequence":"first","affiliation":[]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[]},{"given":"Marta","family":"Pietkiewicz-Koutny","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,22]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","unstructured":"Abdulla, P.A., Delzanno, G., Van Begin, L.: A language-based comparison of extensions of Petri nets with and without whole-place operations. In: Dediu, A.H., Ionescu, A.M., Mart\u00edn-Vide, C. (eds.) LATA 2009. LNCS, vol. 5457, pp. 71\u201382. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-00982-2_6","DOI":"10.1007\/978-3-642-00982-2_6"},{"key":"7_CR2","series-title":"An EATCS Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-47967-4","volume-title":"Petri Net Synthesis. Texts in Theoretical Computer Science","author":"E Badouel","year":"2015","unstructured":"Badouel, E., Bernardinello, L., Darondeau, P.: Petri Net Synthesis. Texts in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2015)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.) ACPN 1996. LNCS, vol. 1491, pp. 529\u2013586. Springer, Heidelberg (1998). doi: 10.1007\/3-540-65306-6_22"},{"key":"7_CR4","series-title":"Workshops in Computing","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, London (1995)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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. 1243, pp. 151\u2013165. Springer, Heidelberg (1997). doi: 10.1007\/3-540-63141-0_11"},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1016\/0041-5553(65)90045-5","volume":"5","author":"N Chernikova","year":"1965","unstructured":"Chernikova, N.: Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities. USSR Comput. Math. Math. Phys. 5, 228\u2013233 (1965)","journal-title":"USSR Comput. Math. Math. Phys."},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"275","DOI":"10.3233\/FI-2009-132","volume":"94","author":"P Darondeau","year":"2009","unstructured":"Darondeau, P., Koutny, M., Pietkiewicz-Koutny, M., Yakovlev, A.: Synthesis of nets with step firing policies. Fundam. Informaticae 94, 275\u2013303 (2009)","journal-title":"Fundam. Informaticae"},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/s002360050046","volume":"33","author":"J Desel","year":"1996","unstructured":"Desel, J., Reisig, W.: The synthesis problem of Petri nets. Acta Informatica 33, 297\u2013315 (1996)","journal-title":"Acta Informatica"},{"key":"7_CR9","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. 1443, pp. 103\u2013115. Springer, Heidelberg (1998). doi: 10.1007\/BFb0055044"},{"key":"7_CR10","doi-asserted-by":"crossref","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 27, 315\u2013368 (1990)","journal-title":"Acta Informatica"},{"key":"7_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ic.2004.01.005","volume":"195","author":"A Finkel","year":"2004","unstructured":"Finkel, A., McKenzie, P., Picaronny, C.: A well-structured framework for analysing Petri net extensions. Inf. Comput. 195, 1\u201329 (2004)","journal-title":"Inf. Comput."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Kleijn, J., Koutny, M., Pietkiewicz-Koutny, M., Rozenberg, G.: Applying Regions. Theoret. Comput. Sci. (2016)","DOI":"10.1016\/j.tcs.2016.01.040"},{"key":"7_CR13","first-page":"1","volume":"19","author":"M Koutny","year":"2009","unstructured":"Koutny, M., Pietkiewicz-Koutny, M.: Synthesis of Petri nets with localities. Sci. Ann. Comp. Sci. 19, 1\u201323 (2009)","journal-title":"Sci. Ann. Comp. Sci."},{"key":"7_CR14","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1142\/S0129054192000231","volume":"3","author":"M Mukund","year":"1992","unstructured":"Mukund, M.: Petri nets and step transition systems. Int. J. Found. Comput. Sci. 3, 443\u2013478 (1992)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"7_CR15","doi-asserted-by":"crossref","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. Theoret. Comput. Sci. 96, 3\u201333 (1992)","journal-title":"Theoret. Comput. Sci."},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/3-540-63139-9_43","volume-title":"Application and Theory of Petri Nets 1997","author":"M Pietkiewicz-Koutny","year":"1997","unstructured":"Pietkiewicz-Koutny, M.: Transition systems of elementary net systems with inhibitor arcs. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 310\u2013327. Springer, Heidelberg (1997). doi: 10.1007\/3-540-63139-9_43"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/3-540-60922-9_42","volume-title":"STACS 96","author":"V Schmitt","year":"1996","unstructured":"Schmitt, V.: Flip-flop nets. In: Puech, C., Reischuk, R. (eds.) STACS 1996. LNCS, vol. 1046, pp. 517\u2013528. Springer, Heidelberg (1996). doi: 10.1007\/3-540-60922-9_42"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2016"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46750-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,26]],"date-time":"2020-09-26T04:51:40Z","timestamp":1601095900000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46750-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319467498","9783319467504"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46750-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}