{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:59Z","timestamp":1725664019897},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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_39","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:42:56Z","timestamp":1330256576000},"page":"32-48","source":"Crossref","is-referenced-by-count":4,"title":["Taking advantages of temporal redundancy in High Level Petri Nets implementations"],"prefix":"10.1007","author":[{"given":"J. A.","family":"Ba\u00f1ares","sequence":"first","affiliation":[]},{"given":"P. R.","family":"Muro-Medrano","sequence":"additional","affiliation":[]},{"given":"J. L.","family":"Villarroel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"4_CR1","unstructured":"R. Esser B. Butler and R. Mattmann. A distributed simulator for high order petri nets. In Proc. of International Conference on Applications and Theory of Petri Nets, pages 22\u201334, Bonn, 1989."},{"key":"4_CR2","unstructured":"G. Bruno and A. Elia. Operational specification of process control systems: Execution of prot nets using ops5. In Proc. of IFIC'86, Dublin, 1986."},{"key":"4_CR3","unstructured":"L. Browston, R. Farrell, E. Kant, and N. Martin. Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Adisson-Wesley, 1985."},{"issue":"2","key":"4_CR4","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1109\/TSE.1986.6312948","volume":"12","author":"G. Bruno","year":"1986","unstructured":"G. Bruno and G. Marchetto. Process-translatable petri nets for the rapid prototyping of process control systems. IEEE transactions on Software Engineering, 12(2):346\u2013357, February 1986.","journal-title":"IEEE transactions on Software Engineering"},{"key":"4_CR5","unstructured":"J.M. Colom, M. Silva, and J.L. Villarroel. On software implementation of petri nets and colored petri nets using high-level concurrent languages. In Proc of 7th European Workshop on Application and Theory of Petri Nets, pages 207\u2013241, Oxford, July 1986."},{"issue":"4","key":"4_CR6","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1049\/ip-d.1988.0033","volume":"135","author":"J. Duggan","year":"1988","unstructured":"J. Duggan and J. Browne. Espnet: expert-system-based simulator of petri nets. IEEE Proceedings, 135(4):239\u2013247, July 1988.","journal-title":"IEEE Proceedings"},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C. Forgy","year":"1982","unstructured":"C. Forgy. A fast algorithm for many pattern\/many object pattern match problem. Artificial Intelligence, 19:17\u201337, 1982.","journal-title":"Artificial Intelligence"},{"key":"4_CR8","unstructured":"G. Hartung. Programming a closely coupled multiprocessor system with high level petri nets. In Proc. of 8th European Workshop on Application and Theory of Petri Nets, pages 489\u2013508, June 1987."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"G. Harhalakis, C.P. Lin, L. Mark, and P.R. Muro-Medrano. Information systems for integrated manufacturing (insim) \u2014 a design methodology. International Journal of Computer Integrated Manufacturing, 4(6), 1991.","DOI":"10.1080\/09511929108944513"},{"volume-title":"High-level Petri Nets","year":"1991","key":"4_CR10","unstructured":"K. Jensen and G. Rozenberg, editors. High-level Petri Nets. Springer-Verlag, Berlin, 1991."},{"key":"4_CR11","unstructured":"A. Miranker. TREAT: A new and efficient match algorithm for AI production systems. PhD thesis, Dep. Comput, Sci., Columbia University, 1986."},{"key":"4_CR12","unstructured":"P.R. Muro-Medrano. Aplicaci\u00f3n de T\u00e9cnicas de Inteligencia Artificial al Dise\u00f1o de Sistemas Inform\u00e1ticos de Control de Sistemas de Producci\u00f3n. PhD thesis, Dpto. de Ingenier\u00eda El\u00e9ctrica e Inform\u00e1tica, University of Zaragoza, June 1990."},{"key":"4_CR13","unstructured":"P.R. Muro-Medrano, J. Ezpeleta, and J.L. Villarroel. Aceptado en IMACS Transactions, chapter Knowledge Based Manufacturing Modeling and Analysis by Integrating Petri Nets, 1992."},{"issue":"4","key":"4_CR14","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1109\/69.149929","volume":"4","author":"A. Pasik","year":"1992","unstructured":"A. Pasik. A source-to-source transformation for increasing rule-based system paralellism. IEEE Tran. on Knowledge and Data Engineering, 4(4):336\u2013343, August 1992.","journal-title":"IEEE Tran. on Knowledge and Data Engineering"},{"issue":"3","key":"4_CR15","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1109\/69.142019","volume":"4","author":"M. Sartori","year":"1992","unstructured":"M. Sartori, K. Passino, and P. Antsaklis. A multilayer perceptron solution to the match phase problem in rule-based artificial intelligence systems. IEEE Tran. on Knowledge and Data Engineering, 4(3):290\u2013297, June 1992.","journal-title":"IEEE Tran. on Knowledge and Data Engineering"},{"key":"4_CR16","unstructured":"R. Valette and B.: Bako. Software implementation of petri nets and compilation of rule-based systems. In 11th International Conference on Application and Theory of Petri Nets, Paris, 1990."},{"key":"4_CR17","unstructured":"J.L. Villarroel. Integraci\u00f3n Inform\u00e1tica del Control de Sistemas Flexibles de Fabricaci\u00f3n. PhD thesis, Dpto. de Ingenier\u00eda El\u00e9ctrica e Inform\u00e1tica, University of Zaragoza, September 1990."}],"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_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:56:25Z","timestamp":1619571385000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56863-8_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568636","9783540477594"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-56863-8_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}