{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:00:46Z","timestamp":1725642046150},"publisher-location":"London","reference-count":9,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199823"},{"type":"electronic","value":"9781447130789"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3078-9_19","type":"book-chapter","created":{"date-parts":[[2011,12,11]],"date-time":"2011-12-11T21:47:45Z","timestamp":1323640065000},"page":"279-293","source":"Crossref","is-referenced-by-count":13,"title":["On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes"],"prefix":"10.1007","author":[{"given":"Laura","family":"Recalde","sequence":"first","affiliation":[]},{"given":"Enrique","family":"Teruel","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"R. Valette, editor, Application and Theory of Petri Nets 1994, volume 815 of Lecture Notes in Computer Science, pages 491\u2013510. Springer Verlag","author":"E Teruel","year":"1994","unstructured":"E. Teruel and M. Silva. Well-formedness of Equal Conflict systems. In R. Valette, editor, Application and Theory of Petri Nets 1994, volume 815 of Lecture Notes in Computer Science, pages 491\u2013510. Springer Verlag, 1994."},{"key":"19_CR2","volume-title":"J. Leeuwen, editor, WG 93: 19th Int. Workshop on Graph-Theoretic Concepts in Computer Science, volume 790 of Lecture Notes in Computer Science, pages 264\u2013275. Springer Verlag","author":"J Desel","year":"1993","unstructured":"J. Desel. Regular marked Petri nets. In J. Leeuwen, editor, WG\u2019 93: 19th Int. Workshop on Graph-Theoretic Concepts in Computer Science, volume 790 of Lecture Notes in Computer Science, pages 264\u2013275. Springer Verlag, 1993."},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/BF00264434","volume":"18","author":"W Reisig","year":"1982","unstructured":"W. Reisig. Deterministic buffer synchronization of sequential processes. Acta Informatica, 18: 117\u2013134, 1982.","journal-title":"Acta Informatica"},{"key":"19_CR4","first-page":"43","volume-title":"Proc. 4th European Workshop on Application and Theory of Petri Nets","author":"G Berthelot","year":"1983","unstructured":"G. Berthelot, G. Memmi, and W. Reisig. A control structure for sequential processes synchronized by buffers. In Proc. 4th European Workshop on Application and Theory of Petri Nets, pages 43\u201358, 1983."},{"key":"19_CR5","volume-title":"Concurrency 88, volume 335 of Lecture Notes in Computer Science, pages 380\u2013400. Springer Verlag","author":"Y Souissi","year":"1988","unstructured":"Y. Souissi and N. Beldiceanu. Deterministic systems of sequential processes: Theory and tools. In Concurrency 88, volume 335 of Lecture Notes in Computer Science, pages 380\u2013400. Springer Verlag, 1988."},{"key":"19_CR6","volume-title":"G. Rozenberg, editor, Advances in Petri Nets 1993, volume 674 of Lecture Notes in Computer Science, pages 406\u2013426. Springer Verlag","author":"Y Souissi","year":"1993","unstructured":"Y. Souissi. Deterministic systems of sequential processes: A class of structured Petri nets. In G. Rozenberg, editor, Advances in Petri Nets 1993, volume 674 of Lecture Notes in Computer Science, pages 406\u2013426. Springer Verlag, 1993."},{"key":"19_CR7","volume-title":"O. J. Boxma and G. M. Koole, editors, Performance Evaluation of Parallel and Distributed Systems. Solution Methods, volume 106 of CWI Tracts, pages 233\u2013251. CWI","author":"J Campos","year":"1994","unstructured":"J. Campos, J. M. Colom, M. Silva, and E. Teruel. Functional and performance analysis of cooperating sequential processes. In O. J. Boxma and G. M. Koole, editors, Performance Evaluation of Parallel and Distributed Systems. Solution Methods, volume 106 of CWI Tracts, pages 233\u2013251. CWI, 1994."},{"issue":"4","key":"19_CR8","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77 (4): 541\u2013580, 1989.","journal-title":"Proceedings of the IEEE"},{"key":"19_CR9","volume-title":"Structure Theory of Weighted Place\/Transition Net Systems: The Equal Conflict Hiatus","author":"E Teruel","year":"1994","unstructured":"E. Teruel. Structure Theory of Weighted Place\/Transition Net Systems: The Equal Conflict Hiatus. PhD thesis, DIEI. Univ. Zaragoza, June 1994."}],"container-title":["Workshops in Computing","Structures in Concurrency Theory"],"original-title":[],"link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3078-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T10:56:51Z","timestamp":1555844211000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/link.springer.com\/10.1007\/978-1-4471-3078-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199823","9781447130789"],"references-count":9,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1007\/978-1-4471-3078-9_19","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}