{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:51Z","timestamp":1725663651532},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544302"},{"type":"electronic","value":"9783540383574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54430-5_88","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:48:00Z","timestamp":1330210080000},"page":"172-187","source":"Crossref","is-referenced-by-count":9,"title":["Compositional synthesis of live and bounded free choice Petri nets"],"prefix":"10.1007","author":[{"given":"Javier","family":"Esparza","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/BF01888220","volume":"2","author":"E. Best","year":"1990","unstructured":"Best, E.; Desel, J. 1990: Partial Order Behaviour and Structure of Petri Nets. Formal Aspects of Computing Vol.2 No.2, 123\u2013138.","journal-title":"Formal Aspects of Computing"},{"key":"14_CR2","first-page":"168","volume":"254","author":"E. Best","year":"1987","unstructured":"Best, E. 1987: Structure Theory of Petri Nets: the Free Choice Hiatus. Advanced Course on Petri Nets \/ Brauer, Reisig, Rozenberg (eds.), LNCS 254 and 255, pp. 168\u2013205.","journal-title":"LNCS"},{"key":"14_CR3","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/978-3-642-72822-8_8","volume-title":"Concurrency and Nets","author":"E. Best","year":"1987","unstructured":"Best, E.; Thiagarajan, P.S. 1987: Some Classes of Live and Safe Petri Nets. Concurrency and Nets \/ Voss, K.; Genrich, H.J., Rozenberg, G. (eds.). \u2014 Berlin: Springer-Verlag, pp. 71\u201394."},{"key":"14_CR4","unstructured":"Desel, J.: A structural property of Free-choice systems. Newsletter of the GI Special Interest Group in Petri Nets and Related System Models, No. 25, pp.16\u201320."},{"key":"14_CR5","unstructured":"Esparza, J.: Structure Theory of Free Choice nets. Ph. D. Thesis, Departamento de Ingenier\u00eda El\u00e9ctrica e Inform\u00e1tica, Universidad de Zaragoza, June."},{"key":"14_CR6","first-page":"182","volume":"458","author":"J. Esparza","year":"1990","unstructured":"Esparza, J. 1990: Synthesis Rules for Petri Nets, and How They Lead to New Results. CONCUR'90 \/ Baeten, Klop, (eds.), LNCS 458, pp.182\u2013198.","journal-title":"LNCS"},{"key":"14_CR7","unstructured":"Esparza, J.; Silva, M.: Handles in Petri Nets. Hildesheimer Informatik Fachbericht, 3\u201391."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Esparza, J.; Silva, M.: Top-down Synthesis of Live and Bounded Free Choice nets. Proceedings of the XIth. International Conference on Application and Theory of Petri nets. Paris, June, pp. 63\u201383. To appear in Advances in Petri Nets 91.","DOI":"10.1007\/BFb0019972"},{"key":"14_CR9","first-page":"115","volume":"153","author":"H.J. Genrich","year":"1983","unstructured":"Genrich, H.J.; Jannsens, D.; Rosenberg, G.; Thiagarajan, P.S. 1983: Petri Nets and Their Relation to Graph Grammars. 2nd Int. Workshop on Graph Grammars and their Application to Computer Science. LNCS 153, pp. 115\u2013129.","journal-title":"LNCS"},{"key":"14_CR10","volume-title":"Analysis of Production Schemata by Petri Nets","author":"M.H.T. Hack","year":"1972","unstructured":"Hack, M.H.T. 1972: Analysis of Production Schemata by Petri Nets. Cambridge, Mass.: MIT, Dept. Electrical Engineering, MS Thesis. Corrected June 1974"},{"key":"14_CR11","first-page":"71","volume-title":"Concurrency and Nets","author":"M. Silva","year":"1987","unstructured":"Silva, M. 1987: Towards a Synchrony Theory for P\/T Nets. Concurrency and Nets \/ Voss, K.; Genrich, H.J., Rozenberg, G. (eds.). \u2014 Berlin: Springer-Verlag, pp. 71\u201394."},{"issue":"2","key":"14_CR12","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0019-9958(84)80052-2","volume":"61","author":"P.S. Thiagarajan","year":"1984","unstructured":"Thiagarajan, P.S.; Voss, K. 1984: A Fresh look at free Choice Nets. Information and Control, Vol. 61, No. 2, May, pp. 85\u2013113.","journal-title":"Information and Control"}],"container-title":["Lecture Notes in Computer Science","CONCUR '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54430-5_88.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:21:56Z","timestamp":1619572916000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54430-5_88"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544302","9783540383574"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-54430-5_88","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}