{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:57:56Z","timestamp":1725515876951},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540687450"},{"type":"electronic","value":"9783540687467"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68746-7_11","type":"book-chapter","created":{"date-parts":[[2008,7,31]],"date-time":"2008-07-31T02:37:54Z","timestamp":1217471874000},"page":"112-131","source":"Crossref","is-referenced-by-count":4,"title":["Synthesis of Nets with Step Firing Policies"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Darondeau","sequence":"first","affiliation":[]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[]},{"given":"Marta","family":"Pietkiewicz-Koutny","sequence":"additional","affiliation":[]},{"given":"Alex","family":"Yakovlev","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/3-540-59293-8_207","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"E. Badouel","year":"1995","unstructured":"Badouel, E., Bernardinello, L., Darondeau, Ph.: Polynomial Algorithms for the Synthesis of Bounded Nets. In: Mosses, P.D., Nielsen, M., Schwartzbach, M.I. (eds.) TAPSOFT 1995. LNCS, vol.\u00a0915, pp. 364\u2013378. Springer, Heidelberg (1995)"},{"key":"11_CR2","unstructured":"Badouel, E., Darondeau, P.: On the Synthesis of General Petri Nets. Report INRIA-RR 3025 (1996)"},{"key":"11_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.) Lectures on Petri Nets I: Basic Models. LNCS, vol.\u00a01491, pp. 529\u2013586. Springer, Heidelberg (1998)"},{"key":"11_CR4","first-page":"11","volume-title":"Structures in Concurrency Theory","author":"L. Bernardinello","year":"1996","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, pp. 11\u201331. Springer, Heidelberg (1996)"},{"key":"11_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":"11_CR6","doi-asserted-by":"publisher","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 Computational Mathematics and Mathematical Physics\u00a05, 228\u2013233 (1965)","journal-title":"USSR Computational Mathematics and Mathematical Physics"},{"key":"11_CR7","first-page":"315","volume":"E80-D","author":"J. Cortadella","year":"1997","unstructured":"Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Trans. on Information and Systems\u00a0E80-D, 315\u2013325 (1997)","journal-title":"IEICE Trans. on Information and Systems"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Darondeau, Ph., Koutny, M., Pietkiewicz-Koutny, M., Yakovlev, A.: Synthesis of Nets with Step Firing Policies. Report CS-TR-1080, Newcastle University (2008)","DOI":"10.1007\/978-3-540-68746-7_11"},{"key":"11_CR9","doi-asserted-by":"publisher","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\u00a033, 297\u2013315 (1996)","journal-title":"Acta Informatica"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A. Ehrenfeucht","year":"1990","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures; Part I: Basic Notions and the Representation Problem. Acta Informatica\u00a027, 315\u2013342 (1990)","journal-title":"Acta Informatica"},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/BF00264612","volume":"27","author":"A. Ehrenfeucht","year":"1990","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures; Part II: State Spaces of Concurrent Systems. Acta Informatica\u00a027, 343\u2013368 (1990)","journal-title":"Acta Informatica"},{"key":"11_CR12","unstructured":"INA, http:\/\/www2.informatik.hu-berlin.de\/~starke\/ina.html"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11603047_20","volume-title":"Membrane Computing","author":"J. Kleijn","year":"2006","unstructured":"Kleijn, J., 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":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/11817949_12","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"M. Koutny","year":"2006","unstructured":"Koutny, M., Pietkiewicz-Koutny, M.: Transition Systems of Elementary Net Systems with Localities. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol.\u00a04137, pp. 173\u2013187. Springer, Heidelberg (2006)"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-540-73094-1_18","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"M. Koutny","year":"2007","unstructured":"Koutny, M., Pietkiewicz-Koutny, M.: Synthesis of Elementary Net Systems with Context Arcs and Localities. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 281\u2013300. Springer, Heidelberg (2007)"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-540-73094-1_3","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"A. Mazurkiewicz","year":"2007","unstructured":"Mazurkiewicz, A.: Petri Nets Without Tokens. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 20\u201323. Springer, Heidelberg (2007)"},{"key":"11_CR17","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":"11_CR18","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 Nets with Inhibitor Arcs. Fundamenta Informaticae\u00a040, 251\u2013283 (1999)","journal-title":"Fundamenta Informaticae"},{"key":"11_CR19","volume-title":"Theory of Linear and Integer Programming","author":"A. Schrijver","year":"1986","unstructured":"Schrijver, A.: Theory of Linear and Integer Programming. John Wiley, Chichester (1986)"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1007\/3-540-52494-0_39","volume-title":"Advances in Petri Nets 1989","author":"P. Starke","year":"1990","unstructured":"Starke, P.: Some Properties of Timed Nets under the Earliest Firing Rule. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol.\u00a0424, pp. 418\u2013432. Springer, Heidelberg (1990)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68746-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,7]],"date-time":"2020-05-07T06:43:53Z","timestamp":1588833833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68746-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540687450","9783540687467"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68746-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}