{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:40:01Z","timestamp":1752460801565,"version":"3.41.2"},"reference-count":98,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1999,10,1]],"date-time":"1999-10-01T00:00:00Z","timestamp":938736000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,10,1]],"date-time":"1999-10-01T00:00:00Z","timestamp":938736000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Design Automation for Embedded Systems"],"published-print":{"date-parts":[[1999,10]]},"DOI":"10.1023\/a:1008969621405","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T12:46:35Z","timestamp":1040561195000},"page":"243-310","source":"Crossref","is-referenced-by-count":17,"title":["A Petri Net Model for Hardware\/Software Codesign"],"prefix":"10.1007","volume":"4","author":[{"given":"Paulo","family":"Maciel","sequence":"first","affiliation":[]},{"given":"Edna","family":"Barros","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Rosenstiel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"239763_CR1","unstructured":"A. A. Desrochers, R. Y. Al-Jaar. Applications of Petri Nets in Manufacturing Systems. IEEE Press, 1995."},{"key":"239763_CR2","doi-asserted-by":"crossref","unstructured":"R. Gupta. A framework for interative analysis of timing constraints in embedded systems. Proceedings of the Fourth Codes\/CASHE, pp. 44-51, IEEE Computer Society, March 1996.","DOI":"10.1109\/HCS.1996.492225"},{"key":"239763_CR3","doi-asserted-by":"crossref","unstructured":"A. Dasdan, D. Ramanathan, R. Gupta. Rate derivation and its applications to reactive, real-time embedded systems. 35th ACM Design Automation Conference, pp. 44-51, June 1998.","DOI":"10.1145\/277044.277118"},{"issue":"3","key":"239763_CR4","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1145\/234860.234861","volume":"1","author":"W. Wolf","year":"1996","unstructured":"W. Wolf. Object-oriented cosynthesis of distributed embedded systems. 35th ACM Transactions on Design Automation of Electronic Systems 1(3): 301-314, July 1996.","journal-title":"35th ACM Transactions on Design Automation of Electronic Systems"},{"key":"239763_CR5","doi-asserted-by":"crossref","unstructured":"S. Gaubert, J. Mairesse. Modeling and analysis of timed Petri nets using heaps of pieces LIAFA, CNRS-Universit\u00e9 Paris 7 \u2014 Report 97\/14, 1997.","DOI":"10.23919\/ECC.1997.7082187"},{"key":"239763_CR6","doi-asserted-by":"crossref","unstructured":"Y. Kukimoto, R. Brayton. Exact required time analysis via false path detection. ACM Design Automation Conference, 1997.","DOI":"10.1145\/266021.266070"},{"key":"239763_CR7","doi-asserted-by":"crossref","unstructured":"F. Vahid, D. D. Gajski. Closeness metrics for systems leel functional partitioning. Proceedings of the EURO-DAC'95 pp. 328-333, IEEE Computer Society, September 1995.","DOI":"10.1109\/EURDAC.1995.527425"},{"key":"239763_CR8","doi-asserted-by":"crossref","unstructured":"D. D. Gajski, F. Vahid. Specification and design of embedded systems. Design and Test of Computers 53-67, Spring 1995.","DOI":"10.1109\/54.350695"},{"key":"239763_CR9","unstructured":"D. D. Gajski, F. Vahid, S. Narayan, J. Gong. Specification and Design of Embedded Hardware-Software Systems. P T R Prentice Hall, 1994."},{"key":"239763_CR10","unstructured":"T. BenIsmail, M. Abid, K. O'Brien and A. Jerraya. An approach for hardware\/software codesign. Proceedings of the RSP 94, Grenoble, France, 1994."},{"key":"239763_CR11","doi-asserted-by":"crossref","unstructured":"P.V. Knudsen and J. Madsen. PACE: A dynamic programming algorithm for hardware\/software partitioning. Fourth International Workshop on HW\/SW Codesign, pp. 85-92, IEEE Press, 1996.","DOI":"10.1109\/HCS.1996.492230"},{"key":"239763_CR12","doi-asserted-by":"crossref","unstructured":"C. Carreras, J. C. L\u00f3pez, M. L. L\u00f3pez, C. Delgado-Kloos, N. Martin\u00e9z, and L. S\u00e1nchez. A co-design methodology based on formal specification and high-level estimation. Fourth International Workshop on HW\/SW Codesign, pp. 28-35, IEEE Press, 1996.","DOI":"10.1109\/HCS.1996.492223"},{"key":"239763_CR13","doi-asserted-by":"crossref","unstructured":"T. Cheung, G. Hellestrand and P. Kanthamanon. A multi-level transformation approach to HW\/SW codesign: A case study. Fourth International Workshop on HW\/SW Codesign, pp. 10-17, IEEE Press, 1996.","DOI":"10.1109\/HCS.1996.492221"},{"key":"239763_CR14","unstructured":"E. Barros. Hardware\/Software Partitioning Using UNITY. Universit\u00e4t T\u00fcbingen, 1993."},{"key":"239763_CR15","unstructured":"E. Barros and W. Rosenstiel. A clustering approach to support hardware\/software partitioning. In Jerzy Rozenblit and Klaus Buchenrieder, editors, Computer Aided Software\/Hardware Engineering, IEEE Press."},{"key":"239763_CR16","unstructured":"E. Barros and A. Sampaio. Towards provably correct hardware\/software partitioning using occam. Proceedings of the Third International Workshop on Hardware\/Software Codesign Codes\/CASHE94, IEEE Computer Society, September 1994."},{"key":"239763_CR17","unstructured":"E. Barros, X. Xiong and W. Rosenstiel. Hardware\/software partitioning with UNITY. Handouts of International Workshop on Hardware-Software Co-design, 1993."},{"key":"239763_CR18","unstructured":"R. Ernst and J. Henkel. Hardware-software codesign of embedded controllers based on hardware extraction. Handouts of the International Workshop on Hardware-Software Co-Design, October 1992."},{"key":"239763_CR19","unstructured":"R. Ernst and J. Henkel. A path-based technique for estimating hardware runtime in HW\/SW-cosynthesis. IEEE\/ACM Proc. of 8th Int'l Symp. on System Level Synthesis, October 1995."},{"key":"239763_CR20","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0165-6074(89)90053-7","volume":"27","author":"R. Gupta","year":"1989","unstructured":"R. Gupta and G. De Micheli. System-level synthesis using re-programmable components. Microprogramming and Microprocessing 27: 239-244, 1989.","journal-title":"Microprogramming and Microprocessing"},{"key":"239763_CR21","unstructured":"C. Carreras, J. C. L\u00f3pez, M. L. L\u00f3pez, C. Delgado-Kloos, N. Mart\u00ednez, L. S\u00e1nchez. A co-design methodology based on formal specification and high level estimation. Proceedings of EDAC, pp. 2-7, 1996."},{"key":"239763_CR22","doi-asserted-by":"crossref","unstructured":"F. Rose, T. Carpenter, S. Kumar, J. Shackleton, T. Steeves. A model for the coanalysis of hardware and software architecture. Proceedings of the Fourth Codes\/CASHE, pp. 94-103, IEEE Computer Society, March 1996.","DOI":"10.1109\/HCS.1996.492231"},{"key":"239763_CR23","doi-asserted-by":"crossref","unstructured":"R. Gupta, G. De Micheli. Constrained software generation for hardware-software systems. Proceedings of the Fourth Codes\/CASHE, pp. 56-63, IEEE Computer Society. September 1995.","DOI":"10.1109\/HSC.1994.336702"},{"key":"239763_CR24","unstructured":"P. Eles, K. Kuchcinki, Z. Peng, M. Minea. Synthesis of VHDL concurrent processes. Proceedings of the EURO-DAC'94, pp. 540-545, IEEE Computer Society, September 1994."},{"key":"239763_CR25","unstructured":"X. Gu, K. Kuchcinki, Z. Peng. Testability analysis and improvement from VHDL behavioural specification. Proceedings of the EURO-DAC'94, pp. 644-649, IEEE Computer Society, September 1994."},{"key":"239763_CR26","unstructured":"G. W. Brams. R\u00e9seaux de Petri: Th\u00e9orie et Pratique, tome 1. Masson Editions, 1983."},{"key":"239763_CR27","unstructured":"G. W. Brams. R\u00e9seaux de Petri: Th\u00e9orie et Pratique, tome 2. Masson Editions, 1983."},{"key":"239763_CR28","unstructured":"J. L. Peterson. Petri Nets an Introduction. Prentice-Hall, Inc, 1981."},{"key":"239763_CR29","unstructured":"W. Reisig. Petri Nets: An Introduction. Springer-Verlag, 1982."},{"key":"239763_CR30","doi-asserted-by":"crossref","unstructured":"T. Murata. State equation, controllability, and maximal of Petri nets. IEEE Trans. on Automatic Control, 1977.","DOI":"10.1109\/TAC.1977.1101509"},{"key":"239763_CR31","unstructured":"T. Murata. Modelling and Analysis of Concurrent Systems, Handbook of Software Engineering. Van Norstrand Reinhold Company Inc., 1984."},{"key":"239763_CR32","doi-asserted-by":"crossref","unstructured":"O. Botti, F. Cindio. From basic to timed net models of occam: An application to program placement. PNPM, pp. 216-221, 1991.","DOI":"10.1109\/PNPM.1991.238798"},{"key":"239763_CR33","unstructured":"M. Silva, E. Teruel. Petri nets for the design and operation of manufacturing systems. CIMAT'96, 1996."},{"key":"239763_CR34","unstructured":"M. Silva, E. Teruel. Analysis of autonomous Petri nets with a bulk services and arrivals. 11th International Conference on Analysis and Optimization of Systems. Discrete Event Systems, Vol. 199 of Lecture Notes in Control and Information Science, pp. 131-143, 1994."},{"key":"239763_CR35","doi-asserted-by":"crossref","unstructured":"A. Valmari. Stubborn sets for reduced state space generation. Advanced in Petri Nets. In G. Rozenberg, editor, Lecture Notes in Computer Science 483: 491-515, Springer Verlag, 1991.","DOI":"10.1007\/3-540-53863-1_36"},{"key":"239763_CR36","doi-asserted-by":"crossref","unstructured":"A. Valmari. Compositional state space generation. Advanced in Petri Nets. In G. Rozenberg, editor, Lecture Notes in Computer Science 674: 427-457, Springer Verlag, 1993.","DOI":"10.1007\/3-540-56689-9_54"},{"key":"239763_CR37","doi-asserted-by":"crossref","unstructured":"T. Murata. Petri nets: Properties, analysis and applications. Proceeding of the IEEE, 1989.","DOI":"10.1109\/5.24143"},{"key":"239763_CR38","doi-asserted-by":"crossref","unstructured":"G. Berthelot. Checking properties of nets using transformations. Advanced in Petri Nets. In G. Rozenberg, editor, Lecture Notes in Computer Science 222: 19-40, Springer Verlag, 1986.","DOI":"10.1007\/BFb0016204"},{"key":"239763_CR39","unstructured":"K. Jensen. Coloured Petri nets: Basic concepts, analysis methods and practical uses. EACTS Monographs on Theoretical Computer Science. Springer Verlag, 1994."},{"key":"239763_CR40","doi-asserted-by":"crossref","unstructured":"I. Gorton. Parallel program design using high-level Petri nets. Concurrency: Practice and Experience, 1993.","DOI":"10.1002\/cpe.4330050202"},{"key":"239763_CR41","unstructured":"G. Dohmen. Petri nets as intermediate representation between VHDL and symbolic transition systems. Proceedings EURODAC-94, 1994."},{"key":"239763_CR42","doi-asserted-by":"crossref","unstructured":"J. Esparza, M. Nielsen. Decidability issues for Petri nets. Gesellschaft f\u00fcr Informatik, 1994.","DOI":"10.7146\/brics.v1i8.21662"},{"key":"239763_CR43","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(78)90036-1","volume":"6","author":"C. Rackoff","year":"1978","unstructured":"C. Rackoff. The covering and boundedness problem for vector addition systems. Theoretical Computer Science 6: 223-231, 1978.","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"239763_CR44","first-page":"167","volume":"3","author":"R. Karp","year":"1969","unstructured":"R. Karp, R. Miller. Parallel program schemata. Journal of Computer and System Science 3(4): 167-195, 1969.","journal-title":"Journal of Computer and System Science"},{"key":"239763_CR45","unstructured":"R. Lipton. The reachability problem requires exponential space. Research Report 62, Department of Computer Science, Yale University, 1976."},{"key":"239763_CR46","doi-asserted-by":"crossref","unstructured":"G. S. Sacerdote, R. L. Tenney. The decidibility of the reachability problem for vector addition system. 9th Annual Symposium on Theory of Computing, 61-76.","DOI":"10.1145\/800105.803396"},{"key":"239763_CR47","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/BF00289268","volume":"15","author":"E. W. Mayr","year":"1981","unstructured":"E. W. Mayr. Persistence of vector replacement system is decidable. Acta Informatica 15: 309-318, 1981. Boulder, 1977.","journal-title":"Acta Informatica"},{"key":"239763_CR48","doi-asserted-by":"crossref","unstructured":"S. R. Kosaraju. Decidibility of reachability in vector addition systems. 14th Annual ACM Symposium on Theory of Computing, San Francisco, 1982, pp. 267-281.","DOI":"10.1145\/800070.802201"},{"key":"239763_CR49","unstructured":"J. L. Lambert. Vector addition systems and semi-linearity. SIAM Journal of Computing, 1994."},{"key":"239763_CR50","unstructured":"D. Frutos, C. Johne. Decidability of home states in place transition systems. 14th Internal Report, Dpto. Informatica y Automatica, Univ. Complutense de Madrid, 1986."},{"key":"239763_CR51","doi-asserted-by":"crossref","unstructured":"E. Cardoza, R. J. Lipton, A. R. Meyer. Exponential space complete problems for Petri nets and commutative semigroups. 8th Symposium on Theory of Computing, 50-54, 1976.","DOI":"10.1145\/800113.803630"},{"key":"239763_CR52","unstructured":"M. H. T. Hack. Decidability Questions for Petri Nets. PhD Thesis, MIT, 1976."},{"key":"239763_CR53","doi-asserted-by":"crossref","unstructured":"A. Cheng, J. Esparza, J. Palsberg. Complexity results for 1-safe nets. 13th Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, 1993.","DOI":"10.1007\/3-540-57529-4_66"},{"key":"239763_CR54","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1016\/0020-0190(80)90026-5","volume":"1","author":"J. Grabowsky","year":"1980","unstructured":"J. Grabowsky. The decidability of persistence for vector addition systems. Information Processing Letters 11 1: 20-23, 1980. 76.block Boulder, 1977.","journal-title":"Information Processing Letters 11"},{"key":"239763_CR55","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/978-3-7091-8596-4_6","volume":"3","author":"H. M\u00fcller","year":"1981","unstructured":"H. M\u00fcller. On the reachability problem for persistent vector replacement systems. Computing Supplements 3: 89-104, 1981.","journal-title":"Computing Supplements"},{"key":"239763_CR56","doi-asserted-by":"crossref","unstructured":"K. Jensen. Coloured Petri nets: A high level language for system design and analysis. Lecture Notes in Computer Science 483: 342-416, 1990.","DOI":"10.1007\/3-540-53863-1_31"},{"key":"239763_CR57","series-title":"Technical Report","volume-title":"Analysis of asynchronous concurrent systems by timed Petri nets","author":"Ramchandani.","year":"1974","unstructured":"Ramchandani. Analysis of asynchronous concurrent systems by timed Petri nets. Technical Report n\n120, Laboratory for Computer Science, MIT, Cambridge, MA, 1974."},{"key":"239763_CR58","doi-asserted-by":"crossref","unstructured":"K. Jensen, P. Huber, R. M. Shapiro. Hierarchies in coloured Petri nets. In G. Rozenberg, editor, Lecture Notes in Computer Science 483: 313-341, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-53863-1_30"},{"key":"239763_CR59","unstructured":"P. R. M. Maciel, E. N. S. Barros. Captura de requisitos temporais usando redes de Petri para o particionamento de hardware\/software. IX Simp\u00f3sio Brasileiro de Concep\u00e7\u00e3o de Circuitos Integrados, Recife, PE, 1996, pp. 383-396."},{"key":"239763_CR60","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall International, 1985."},{"key":"239763_CR61","unstructured":"P. R. M. Maciel, E. N. S. Barros. Capturing time constraints by using Petri nets in the context of hardware\/software codesign. a ser publicado no 7th IEEE International Workshop on Rapid System Prototyping, Porto Caras, Thessaloniki, Gr\u00e9cia, 1996."},{"key":"239763_CR62","unstructured":"G. Jones. Programming in OCCAM. C. A. R. Hoare Series Editor, Prentice-Hall International Series in Computer Science, 1987."},{"key":"239763_CR63","doi-asserted-by":"crossref","unstructured":"L. Silva, A. Sampaio and E. Barros. A normal form reduction strategy for hardware\/software partitioning. Conference Formal Methods Europe'97, 1997.","DOI":"10.1007\/3-540-63533-5_33"},{"key":"239763_CR64","unstructured":"P. R. M. Maciel, R. D. Lins, P. R. F. Cunha. Uma Introdu\u00e7\u00e3o \u00e0s Redes de Petri e Aplica\u00e7\u00f5es. Book published in the 11th Escola de Computa\u00e7\u00e3o. Campinas, Brazil. July, 1996. (portuguese)"},{"key":"239763_CR65","doi-asserted-by":"crossref","unstructured":"W. W. Chu, L. J. Holloway, M.T. Lang, K. Efe. Task allocation in distributed data processing. IEEE-Computer 57-68, November 1980.","DOI":"10.1109\/MC.1980.1653419"},{"issue":"11","key":"239763_CR66","doi-asserted-by":"crossref","first-page":"1384","DOI":"10.1109\/12.8704","volume":"37","author":"V. M. Lo","year":"1988","unstructured":"V. M. Lo. Heuristic algorithms for task assignment is distributed systems. IEEE Transactions on Computers 37(11): 1384-1397, November 1988.","journal-title":"IEEE Transactions on Computers"},{"issue":"7","key":"239763_CR67","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1109\/32.56096","volume":"5","author":"C. E. Houstis","year":"1990","unstructured":"C. E. Houstis. Module allocation of real-time applications to distributed systems. IEEE Transactions on Software Engineering 5(7): 699-709, July 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"6","key":"239763_CR68","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1109\/TC.1987.1676960","volume":"C-36","author":"W. W. Chu","year":"1987","unstructured":"W. W. Chu, L. M-T. Lan. Task allocation and precedence relations for distributed real-time systems. IEEE Transactions on Computers C-36(6): 667-679, June 1987.","journal-title":"IEEE Transactions on Computers"},{"key":"239763_CR69","unstructured":"P. Maciel, E. Barros, W. Rosenstiel. Computing communication cost by Petri nets for hardware\/software codesign. 8th IEEE International Workshop on Rapid System Prototyping, Chapel Hill, North Carolina, June 24\u201326, 1997."},{"key":"239763_CR70","unstructured":"P. Maciel, E. Barros, W. Rosenstiel. Using Petri nets to compute communication cost for hardware\/software codesign. Published on the 10th Brazilian Symposium on Integrated Circuit Design, Gramado, Rio Grande do Sul, Brazil, August 25\u201327, 1997."},{"key":"239763_CR71","doi-asserted-by":"crossref","unstructured":"P. M. Merlin, D. J. Farber. Recoverability of communication protocols implications of a theoretical study. IEEE Transaction Communication COM-24, September 1976.","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"239763_CR72","unstructured":"P. Maciel, T. Maciel, E. Barros, W. Rosenstiel. A Petri net approach to compute load balance in hardware\/software codesign. High Performance Computing '98, Boston, Massachusetts, April 5\u20139, 1998."},{"key":"239763_CR73","unstructured":"P. Maciel, E. Barros, W. Rosenstiel. A Petri net approach for quantifying mutual exclusion degree. INCOM'98, Nancy-Metz, France, June 23\u201327, 1998."},{"key":"239763_CR74","unstructured":"P. Maciel, E. Barros, W. Rosenstiel. A Petri net based approach for performing the initial allocation in hardware\/software codesign. 1998 IEEE International Conference on Systems, Man, and Cybernetics, San Diego, October 11\u201314, 1998."},{"key":"239763_CR75","unstructured":"P. Maciel, E. Barros, W. Rosenstiel. A Petri net approach to compute load balance in hardware\/software codesign. To be published on the High Performance Computing '99, San Diego, April 1999."},{"key":"239763_CR76","doi-asserted-by":"crossref","unstructured":"N. G. Leveson, J. L. Stolzy. Safety analysis using Petri nets. IEEE Transaction Software Eng. SE-13(3): March 1987.","DOI":"10.1109\/TSE.1987.233170"},{"issue":"4","key":"239763_CR77","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1016\/0026-2714(91)90007-T","volume":"31","author":"W. M. Zubarek","year":"1991","unstructured":"W. M. Zubarek. Timed Petri nets definitions, properties and applications. Microelectronic and Reliability 31(4): 627-644, 1991.","journal-title":"Microelectronic and Reliability"},{"key":"239763_CR78","unstructured":"P. H. Starke. Remarks on timed Petri nets. Proc. 9th European Workshop on Application and Theory of Petri Nets, 1988."},{"key":"239763_CR79","doi-asserted-by":"crossref","unstructured":"M. Ajmone-Marsan. Stochastic Petri nets: An elementary introduction. LNCS vol. 424, Springer Verlag, 1989.","DOI":"10.1007\/3-540-52494-0_23"},{"key":"239763_CR80","volume-title":"On the Integration of Delay and Throughput Measures in Distributed Processing Models","author":"M. K. Molloy","year":"1981","unstructured":"M. K. Molloy. On the Integration of Delay and Throughput Measures in Distributed Processing Models. Ph.D. Thesis, UCLA, Los Angeles, CA, 1981."},{"key":"239763_CR81","doi-asserted-by":"crossref","unstructured":"S. Gaubert. Performance evaluation of (max, +) automata. IEEE Transaction on Automatic Control, 1995.","DOI":"10.1109\/9.478227"},{"key":"239763_CR82","doi-asserted-by":"crossref","unstructured":"C. Ghezzi, D. Mandrioli, S. Morasca, M. Pezz. A unified high-level Petri net formalism for time-critical systems. IEEE Transactions on Software Engineering, February 1991.","DOI":"10.1109\/32.67597"},{"key":"239763_CR83","unstructured":"J. Sifakis. Use of Petri nets for performance evaluation. Measuring, Modelling and Evaluating Computer Systems, North Holland, 1977."},{"key":"239763_CR84","doi-asserted-by":"crossref","unstructured":"J. M. Colom, M. Silva. Convex geometry and semiflows in P\/T nets. A comparative study of algorithms for computation of minimal P-semiflows. In G. Rozenberg, editor, Lecture Notes in Computer Science 483: 79-112, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-53863-1_22"},{"key":"239763_CR85","unstructured":"F. Bowden. Modeling time in Petri nets. 2th Australia-Japan Workshop on Stochastic Models, Gold Coast, July 1996."},{"key":"239763_CR86","doi-asserted-by":"crossref","unstructured":"J. M. Colom, M. Silva. Improving the linearly based characterization of P\/T nets. In G. Rozenberg, editor, Lecture Notes in Computer Science 483: 113-145, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-53863-1_23"},{"key":"239763_CR87","doi-asserted-by":"crossref","unstructured":"F. Dicesare, G. Harhalakis, J. M. Proth, M. Silva, F. B. Vernadat. Practice of Petri Nets in Manufacturing. Chapman and Hall, 1993.","DOI":"10.1007\/978-94-011-6955-4"},{"key":"239763_CR88","doi-asserted-by":"crossref","unstructured":"M. Zhou, F. Dicesare. Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4615-3126-5"},{"key":"239763_CR89","doi-asserted-by":"crossref","unstructured":"C. Lindemann. Performance Modelling with Deterministic and Stochastic Petri Nets. John Wiley and Sons, 1998.","DOI":"10.1145\/288197.581195"},{"key":"239763_CR90","doi-asserted-by":"crossref","unstructured":"S. Malik, M. Martonosi, Yau-Tsun L. Static timing analysis of embedded software. Design Automation Conference, 1997.","DOI":"10.1145\/266021.266052"},{"key":"239763_CR91","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0743-7315(90)90004-9","volume":"10","author":"F. Ercal","year":"1990","unstructured":"F. Ercal, J. Ramanuajam, P. Sadayappan. Task allocation onto a hypercube by recursive minicut bipartitioning. Journal of Parallel and Distributed Computing 10: 35-44, 1990.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"239763_CR92","unstructured":"C. Cohen, S. Gaubert, J. Quadrat. Algebraic system analysis of timed Petri nets. In J. Gunawardena, editor, Idempotency \u2014 Collection of Isaac Newton Institute, Cambridge University Press, 1995."},{"key":"239763_CR93","doi-asserted-by":"crossref","unstructured":"R. Spencer and A. Sampaio. De occam para o Transputer: Compila\u00e7\u00e3o via Reescrita de Termos. Anais do X Simp\u00f3sio Brasileiro de Engenharia de Software, S\u00e3o Carlos-SP, 1996, pp. 103-117.","DOI":"10.5753\/sbes.1996.24440"},{"issue":"1","key":"239763_CR94","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1049\/ip-cdt:19960005","volume":"143","author":"M. E. de Lima","year":"1996","unstructured":"M. E. de Lima and D. J. Kinniment. Hierarchial placement method based on a force-directed algorithm and simultaneous global routing for sea-of-gates. IEE Proceedings, Computing. Digit. Tech. 143(1): 1-8, January 1996.","journal-title":"IEE Proceedings, Computing. Digit. Tech."},{"key":"239763_CR95","doi-asserted-by":"crossref","unstructured":"K. A. Bartlett, R. K. Brayton, G. D. Hachtel, R. M. Jacoby, C. R. Morrison, R. L. Rudell, A. Vicentelli, A. Wang. Multilevel logic minimization using implicit don't cares. IEEE Transactions on CAD 7(6), June 1988.","DOI":"10.1109\/43.3211"},{"issue":"2","key":"239763_CR96","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1109\/43.21835","volume":"8","author":"R. Camposano","year":"1989","unstructured":"R. Camposano, W. Rosenstiel. Synthesizing circuits from behavioral descriptions. IEEE Transactions on CAD of Integrated Circuits and Systems 8(2): 171-180, February 1989.","journal-title":"IEEE Transactions on CAD of Integrated Circuits and Systems"},{"key":"239763_CR97","doi-asserted-by":"crossref","unstructured":"G. Borriello. Combining event and data flow graphs in behavioral synthesis. Proceeding of the ICCAD, pp. 56-59, 1988.","DOI":"10.1109\/ICCAD.1988.122462"},{"key":"239763_CR98","doi-asserted-by":"crossref","unstructured":"D. De Micheli, D. Ku, F. Mailhot and T. Trunong. The Olympus Synthesis System. IEEE Design and Test of Computers, October 1990.","DOI":"10.1109\/54.60605"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008969621405.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008969621405\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008969621405.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:09:17Z","timestamp":1752458957000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008969621405"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,10]]},"references-count":98,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1999,10]]}},"alternative-id":["239763"],"URL":"https:\/\/doi.org\/10.1023\/a:1008969621405","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[1999,10]]}}}