{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T14:15:57Z","timestamp":1725718557157},"publisher-location":"Boston, MA","reference-count":32,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781441949691"},{"type":"electronic","value":"9781475731439"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-1-4757-3143-9_11","type":"book-chapter","created":{"date-parts":[[2013,3,9]],"date-time":"2013-03-09T08:14:46Z","timestamp":1362816886000},"page":"205-222","source":"Crossref","is-referenced-by-count":7,"title":["An Evolutionary Approach to the Use of Petri Net Based Models"],"prefix":"10.1007","author":[{"given":"Ricardo J.","family":"Machado","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o M.","family":"Fernandes","sequence":"additional","affiliation":[]},{"given":"Ant\u00f3nio J.","family":"Esteves","sequence":"additional","affiliation":[]},{"given":"Henrique D.","family":"Santos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Adamski, M. (1991). Parallel Controller Implementation using Standard PLD Software. In Moore, W. R., and Luk, W., editors, FPGAs. Abingdon EEandCS Books."},{"key":"11_CR2","unstructured":"AMD (1995). MACH 1, 2, 3 and 4 Family Data Book. Advanced Micro Devices."},{"key":"11_CR3","unstructured":"David, R., and Alla, H. (1992). Petri Nets \u00e94 Grafcet, Tools for modelling discrete event systems. Prentice\u2013Hall, UK. ISBN 0\u201313\u2013327537X."},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-1-4757-2574-2_3","volume-title":"Embedded System Applications","author":"AJ Esteves","year":"1997","unstructured":"Esteves, A. J., Fernandes, J. M., and Proen\u00e7a, A. J. (1997). EDgAR: A Platform for Hardware\/Software Codesign. In Embedded System Applications, Ed. C. Baron, J.-C. Geffroy and G. Motet, Kluwer Academic Publishers, Boston, USA, pp. 19\u201332."},{"key":"11_CR5","first-page":"148","volume-title":"Advances in Petri Nets","author":"R Fehling","year":"1993","unstructured":"Fehling, R. (1993). A Concept of Hierarchical Petri Nets with Building Blocks. In Rozenberg, G., editor, Advances in Petri Nets\n                1993, vol. 674 of Lecture Notes in Computer Science, Springer-Verlag, pp. 148\u201368."},{"key":"11_CR6","volume-title":"Petri Nets and Vhdl in the Specification of Parallel Controllers. MSc thesis, Dept. Informatics, University of Minho","author":"JM Fernandes","year":"1994","unstructured":"Fernandes, J. M. (1994). Petri Nets and VHDL in the Specification of Parallel Controllers. MSc thesis, Dept. Informatics, University of Minho, Braga, Portugal. (in portuguese)"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1049\/ip-cdt:19970845","volume":"144","author":"JM Fernandes","year":"1997","unstructured":"Fernandes, J. M., Adamski, M., and Proen\u00e7a, A. J. (1997). VHDL Generation from Hierarchical Petri Net Specifications of Parallel Controller. IEE Proceedings: Computers and Digital Techniques, 144: 127\u201337.","journal-title":"Iee Proceedings: Computers and Digital Techniques"},{"key":"11_CR8","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 within the XVI International Conference on Applications and Theory of Petri Nets,Torino, Italy."},{"key":"11_CR9","first-page":"481","volume-title":"Vii Simp\u00f3sio Brasileiro de Arquitetura de Computadores Proces-samento de Alto Desempenho (SBAC-PAD\u201995)","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 Simp\u00f3sio Brasileiro de Arquitetura de Computadores Proces-\n                samento de Alto Desempenho (SBAC-PAD\u201995), pp. 481\u201392, Canela, Brazil. (in Portuguese)."},{"key":"11_CR10","first-page":"113","volume-title":"Encontro Na-Evolutionary Approach to Using Petri Nets, cional do Col\u00e9gio de Engenharia Electrot\u00e9cnica","author":"JM Fernandes","year":"1994","unstructured":"Fernandes, J. M., and Proen\u00e7a, A. J. (1994). Petri Nets in the Specification and Validation of Parallel Controllers. In lo. Encontro Na-Evolutionary Approach to Using Petri Nets 221 cional do Col\u00e9gio de Engenharia Electrot\u00e9cnica, pp. 113\u20138, Ordern dos Engenheiros, Lisboa, Portugal. (in portuguese)."},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/MC.1983.1654264","volume":"16","author":"D Gajski","year":"1983","unstructured":"Gajski, D. and Kuhn, R. (1983). Guest\u2019s editors introduction: New VLSI Tools. IEEE Computer, 16: 11\u20134.","journal-title":"Ieee Computer"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Gajski, D., Marchioro, G., and Zhu, J. (1997). Essential Issues in Codesign, pp. 1-45. Kluwer Academic Publishers.","DOI":"10.1007\/978-1-4757-2649-7_1"},{"key":"11_CR13","volume-title":"Publishers edition","author":"DD Gajski","year":"1994","unstructured":"Gajski, D. D., Dutt, N. D., and Wu, A. C.-H. (1994). High-Level Synthesis: Introduction to Chip and System Design. Kluwer Academic Publishers, 3 edition."},{"key":"11_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use","author":"K Jensen","year":"1992","unstructured":"Jensen, K. (1992). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. I. Springer-Verlag, Berlin, Germany."},{"key":"11_CR15","volume-title":"Petri-net-based Cad tools for parallel controller synthesis. MSc thesis","author":"T Kozlowski","year":"1993","unstructured":"Kozlowski, T. (1993). Petri-net-based CAD tools for parallel controller synthesis. MSc thesis, University of Bristol, England."},{"key":"11_CR16","unstructured":"Lakos, C. (1995). The Object Orientation in Object Petri Nets. In 1st Workshop on Object-Oriented Programming and Models of Con-currency within the 16th International Conference on Applications and Theory of Petri Nets, Torino, Italy."},{"key":"11_CR17","volume-title":"Hierarchy in Object-Oriented Petri Nets for the Specification of Digital Systems. MSc thesis, Dep. Informatica, Universidade do Minho","author":"RJ Machado","year":"1996","unstructured":"Machado, R. J. (1996). Hierarchy in Object-Oriented Petri Nets for the Specification of Digital Systems. MSc thesis, Dep. Informatica, Universidade do Minho, Braga, Portugal. (in Portuguese)."},{"key":"11_CR18","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/978-0-387-35064-6_10","volume-title":"Xiii Ifip Conference on Computer Hardware Description Languages and Their Applications (CHDL97)","author":"RJ Machado","year":"1997","unstructured":"Machado, R. J., Fernandes, J. M., and Proen\u00e7a, A. J. (1997a). SOFHIA: A CAD Environment to Design Digital Control Systems. In Kloos, C. D. and Cerny, E., editors, XIII IFIP Conference on Computer Hardware Description Languages and Their Applications (CHDL\u201997), pp. 86\u20138, Toledo, Spain. Chapman and Hall."},{"key":"11_CR19","first-page":"78","volume-title":"Ieee International Symposium on Industrial Electronics (ISIE97), vol. 1","author":"RJ Machado","year":"1997","unstructured":"Machado, R. J., Fernandes, J. M., and Proen\u00e7a, A. J. (1997b). Specification of Industrial Digital Controllers with Object-Oriented Petri Nets. In IEEE International Symposium on Industrial Electronics (ISIE\u201997), vol. 1, pp. 78\u201383, Guimar\u00e2es, Portugal."},{"key":"11_CR20","first-page":"269","volume-title":"9th Ifac Symposium on Information Control in Manufacturing (INCOM98)","author":"RJ Machado","year":"1998","unstructured":"Machado, R. J., Fernandes, J. M., and Proen\u00e7a, A. J. (1998). An Object-Oriented Model for Rapid Prototyping of Data Path\/Control Systems \u2014 A Case Study. In 9th IFAC Symposium on Information Control in Manufacturing (INCOM\u201998), vol. 2, pp. 269\u201374, Nancy and Metz, France."},{"key":"11_CR21","first-page":"229","volume-title":"5th Ieee International Conference on Electronics, Circuits and Systems (ICECS98)","author":"RJ Machado","year":"1998","unstructured":"Machado, R. J., Fernandes, J. M., and Proen\u00e7a, A. J. (1998). Hierarchical Mechanisms for High-level Modelling and Simulation of Digital Systems. In 5th IEEE International Conference on Electronics, Circuits and Systems (ICECS\u201998), vol. 3, pp. 229\u201332, Lisbon, Portugal."},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Morris, D., Evans, G., Green, P., and Theaker, C. (1996). Object\u2013Oriented Computer Systems Engineering. Applied Computing. Springer\u2013Verlag, London, U.K. ISBN 3\u2013540\u201376020\u20132.","DOI":"10.1007\/978-1-4471-1015-6"},{"issue":"4","key":"11_CR23","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T. (1989). Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77 (4): 541\u201380.","journal-title":"Proceedings of the Ieee"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Pardey, J. and Bolton, M. (1991). Logic Synthesis of Synchronous Parallel Controllers. Proceedings of the IEEE International Conference on Computer Design, pp. 454\u20137.","DOI":"10.1109\/ICCD.1991.139946"},{"key":"11_CR25","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0165-6074(92)90326-3","volume":"35","author":"Z Peng","year":"1992","unstructured":"Peng, Z. (1992). Digital System Simulation with VHDL in a High-level Synthesis System. Microprocessing and Microprogramming, 35: 263\u201370.","journal-title":"Microprocessing and Microprogramming"},{"key":"11_CR26","unstructured":"Santos, H. D. (1996). Specification and Analysis Methodologies of Digital Systems: Development of an APA (GLITCH) controller. PhD thesis, Departamento de Informatica, Universidade do Minho, Braga, Portugal. (in portuguese)."},{"key":"11_CR27","unstructured":"Valette, R., Courvoisier, M., Bigou, J., and Albukerque, J. (1983). A Petri Net Based Programmable Logic Controller. In IFIP First International Conference on Computer Applications in Production and Engineering."},{"key":"11_CR28","unstructured":"Xilinx (1996). The Programmable Logic Data Book. Xilinx."},{"key":"11_CR29","unstructured":"Xu, Z. and Hwang, K. (1996). Modelling Communication Overhead: MPI and MPL Performance on the IBM SP2. IEEE Parallel \u00e94 Distributed Technology, pp. 9\u201323."},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Yakovlev, A., Koelmans, A., Semenov, A., and Kinniment, D. (1996a). Modelling, Analysis and Synthesis of Asynchronous Control Circuits Using Petri Nets. INTEGRATION: the VLSI Journal, (21): 143\u201370.","DOI":"10.1016\/S0167-9260(96)00010-7"},{"key":"11_CR31","volume-title":"Formal Methods in System Design","author":"A Yakovlev","year":"1996","unstructured":"Yakovlev, A., Lavagno, L., and Sangiovanni-Vincentelli, A. (1996b). A unified signal transition graph model for asynchronous control circuit synthesis. Formal Methods in System Design, (9):139\u2013188."},{"issue":"2","key":"11_CR32","doi-asserted-by":"publisher","first-page":"10418","DOI":"10.1145\/69610.357982","volume":"27","author":"P Zave","year":"1984","unstructured":"Zave, P. (1984). The Operational versus the Conventional Approach to Software Development. Communications of the ACM, 27 (2): 10418.","journal-title":"Communications of the Acm"}],"container-title":["Hardware Design and Petri Nets"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4757-3143-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T12:57:04Z","timestamp":1557579424000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4757-3143-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9781441949691","9781475731439"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-1-4757-3143-9_11","relation":{},"subject":[],"published":{"date-parts":[[2000]]}}}