{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:59:41Z","timestamp":1759147181878,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568636"},{"type":"electronic","value":"9783540477594"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56863-8_70","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:43:24Z","timestamp":1330256604000},"page":"582-591","source":"Crossref","is-referenced-by-count":3,"title":["Petri Nets modeling in pipelined microprocessor design"],"prefix":"10.1007","author":[{"given":"Qian","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Herbert","family":"Gr\u00fcnbacher","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"35_CR1","unstructured":"W. Eder and H. Pristauz, \u201cFUSE \u2014 A graphical simulation environment for pipelined designs\u201d. In Proceedings of the 1992 European Simulation Multiconference (ESM 92), SCS June 1\u20133, 1992, pages 445\u2013450."},{"key":"35_CR2","unstructured":"John L. Hennessy, David A. Patterson, Computer architecture: A quantitative approach, 1990, Morgen Kaufmann Publishers, Inc."},{"key":"35_CR3","unstructured":"M. Holliday and M. Vernon, \u201cA generalized timed Petri Net model for performance analysis\u201d. In Proceedings of the International Workshop on Timed Petri Nets, Torino, Italy, July 1\u20133, 1985, pages 181\u2013190."},{"key":"35_CR4","doi-asserted-by":"crossref","unstructured":"G. Jenning, \u201cGRTL \u2014 A graphical platform for pipelined system design\u201d. In Proceedings of the 1991 European Conference on Design Automation (EDAC 1991), IEEE February 25\u201328, 1991, pages 424\u2013428.","DOI":"10.1109\/EDAC.1991.206439"},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"K. Jesen, G. Rozenberg (Eds), High-level Petri Nets, theory and applications. Springer-Verlag 1991","DOI":"10.1007\/978-3-642-84524-6"},{"key":"35_CR6","unstructured":"Petr M. Kogge, The architecture of pipelined computers. 1981, Hemisphere Publishing Corporation."},{"issue":"No.4","key":"35_CR7","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata, \u201cPetri Nets: properties, analysis and applications\u201d. In Proceedings of the IEEE, Vol. 77, No. 4, April 1989, pages 541\u2013580.","journal-title":"Proceedings of the IEEE"},{"key":"35_CR8","unstructured":"PIC 16C5x series EPROM-based 8-bit CMOS microcontrollers, Microchip Technology Inc."},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"R. R. Razouk, \u201cThe user of Petri Nets for modeling pipelined processors\u201d. In Proceedings of the 25th Design Automation Conference, June 1988, pages 548\u2013553.","DOI":"10.1109\/DAC.1988.14814"},{"key":"35_CR10","unstructured":"C. L. Seitz. System Timing. In CMead & L.Conway, Introduction to VLSI Systems, Chapter 7, 1980, Addison-Wesley."},{"key":"35_CR11","doi-asserted-by":"crossref","unstructured":"R. M. Shapiro, \u201cValidation of a VLSI chip using hierarchical colored Petri Nets\u201d. Microelectronics and Reliability, Special Issue on Petri Nets, Pergaman Press 1991.","DOI":"10.1007\/978-3-642-84524-6_27"},{"key":"35_CR12","unstructured":"Connie U. Smith, \u201cRobust models for the performance evaluation of software\/hardware designs\u201d. In Proceedings of the International Workshop on Timed Petri Nets, Torino, Italy, July 1\u20133, 1985, pages 172\u2013180."},{"key":"35_CR13","unstructured":"VIEWLogic workview references, Viewlogic Systems, Inc., 1991."},{"key":"35_CR14","unstructured":"The programmable gate array data book, Xilinx Inc., San Jose, 1991."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56863-8_70.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:55:42Z","timestamp":1742594142000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56863-8_70"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568636","9783540477594"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-56863-8_70","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}