{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:18:43Z","timestamp":1725729523050},"publisher-location":"Boston, MA","reference-count":5,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781475753875"},{"type":"electronic","value":"9780387350646"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-0-387-35064-6_10","type":"book-chapter","created":{"date-parts":[[2013,6,4]],"date-time":"2013-06-04T17:47:08Z","timestamp":1370368028000},"page":"86-88","source":"Crossref","is-referenced-by-count":5,"title":["SOFHIA: A CAD Environment to Design Digital Control Systems"],"prefix":"10.1007","author":[{"given":"Ricardo J.","family":"Machado","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o M.","family":"Fernandes","sequence":"additional","affiliation":[]},{"given":"Alberto J.","family":"Proen\u00e7a","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","series-title":"1st Workshop on Object-Oriented Programming and Models of Concurrency","volume-title":"Concurrent Execution of Petri Nets based on Agents","author":"JM Fernandes","year":"1995","unstructured":"Fernandes, J. M.; Pina, A. M. and Proen\u00e7a, A. J. (1995a) Concurrent Execution of Petri Nets based on Agents. In 1st Workshop on Object-Oriented Programming and Models of Concurrency,Torino, Italy."},{"key":"10_CR2","series-title":"VII SBAC-PAD Simp\u00f3sio Brasileiro de Arquitetura de Computadores \u2014 Processamento de Alto Desempenho","first-page":"481","volume-title":"Simulation and Synthesis of Parallel Controllers based on Petri Nets","author":"JM Fernandes","year":"1995","unstructured":"Fernandes, J. M.; Pina, A. M. and Proen\u00e7a, A. J. (1995b) Simulation and Synthesis of Parallel Controllers based on Petri Nets. In VII SBAC-PAD Simp\u00f3sio Brasileiro de Arquitetura de Computadores \u2014 Processamento de Alto Desempenho, 481\u201392, Canela, Brazil. (in Portuguese)."},{"key":"10_CR3","volume-title":"Accepted for publication","author":"JM Fernandes","year":"1997","unstructured":"Fernandes, J. M.; Adamski, M. and Proen\u00e7a, A. J. (1997) VHDL Generation from Petri Net Specifications of Parallel Controller. IEE Proceedings-E: Computers and Digital Techniques. Accepted for publication."},{"key":"10_CR4","series-title":"Proceedings of the IEEE International Conference on Computer Design","first-page":"454","volume-title":"Logic Synthesis of Synchronous Parallel Controllers","author":"J Pardey","year":"1991","unstructured":"Pardey, J. and Bolton M. (1991) Logic Synthesis of Synchronous Parallel Controllers. Proceedings of the IEEE International Conference on Computer Design, 454\u20137."},{"key":"10_CR5","series-title":"XX SEMISH","volume-title":"Scba \u2014 Agent-Based Concurrent Simulation","author":"AM Pina","year":"1993","unstructured":"Pina, A. M. (1993) SCBA \u2014 Agent-Based Concurrent Simulation. In XX SEMISH,Florian\u00f3polis, Brazil. (in Portuguese)."}],"container-title":["Hardware Description Languages and their Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-35064-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T23:32:39Z","timestamp":1557703959000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-35064-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9781475753875","9780387350646"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-35064-6_10","relation":{},"subject":[],"published":{"date-parts":[[1997]]}}}