{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:52Z","timestamp":1725663412386},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540179061"},{"type":"electronic","value":"9783540479260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17906-2_26","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:18:22Z","timestamp":1330197502000},"page":"191-217","source":"Crossref","is-referenced-by-count":20,"title":["Nets in production systems"],"prefix":"10.1007","author":[{"given":"R.","family":"Valette","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"8_CR1","first-page":"1","volume":"188","author":"P. Alanche","year":"1984","unstructured":"P. Alanche, K. Benzakour, F. Doll\u00e9, F. Gillet, P. Rodrigues, R. Valette: \"PSI a Petri net based simulator for flexible manufacturing systems\", Lecture Notes in Computer Science 188, 1984, p.1\u201314.","journal-title":"Lecture Notes in Computer Science"},{"key":"8_CR2","unstructured":"C. Bennami, C. Perret: \"Etude des aleas dans un interpr\u00e9teur Grafcet\", Revue Marocaine d'Automatique, d'Informatique et de Traitement du Signal, Vol.1 n.5, juin 1985."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"C. Beck, B. Krogh: \"Models for simulation and discrete control of manufacturing systems\", IEEE Conference on Robotics and Automation, San Francisco, april 86, p.305\u2013310.","DOI":"10.1109\/ROBOT.1986.1087711"},{"key":"8_CR4","unstructured":"J.M. Bigou, M. Courvoisier, H. Demmou, C. Desclaux, J.C. Pascal, R. Valette: \"A methodology of specification and implementation of distributed discrete control systems\", IECON'85, San Francisco, p.231\u2013236."},{"key":"8_CR5","unstructured":"W. Bolkart: \"Petri-Netze im Einsatz\", Computer Magazin 3 86, p.88\u201391."},{"key":"8_CR6","unstructured":"S.M. Cotter, A.T. Woodward: \"Use Petri nets to design better programs for your PLC\", University of Wales Institute of Science and Technology, 1986."},{"key":"8_CR7","first-page":"27","volume":"1","author":"E. Gr\u00f6tsch","year":"1986","unstructured":"E. Gr\u00f6tsch: \"Graphische Programmieroberfl\u00e4chen f\u00fcr Steurungssysteme\" Automatisierungstechnische Praxis atp, 28.Jahrgang, Heft 1\/1986, p.27\u201331.","journal-title":"Heft"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"M. Kamath, N. Viswanadham: \"Application of Petri based models in the modelling and analysis of flexible manufacturing systems\", IEEE Conference on Robotics and Automation, San Francisco, april 86, p.312\u2013317.","DOI":"10.1109\/ROBOT.1986.1087700"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"N. Komoda, K. Kera, T. Kubo: \"An autonomous, decentralized control system for factory automation\", Computer dec. 1984, p.73\u201383.","DOI":"10.1109\/MC.1984.1659029"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"J. Martinez, M. Silva: \"A language for the description of concurrent systems modelled by coloured Petri nets: Application to the control of flexible manufacturing systems\", IEEE Workshop on languages for automation, New Orleans, 1984.","DOI":"10.1007\/978-1-4757-1388-6_18"},{"key":"8_CR11","unstructured":"T. Murata, N. Komoda, K. Matsumoto: \"A Petri-net based factory automation controller for flexible and maintainable control specifications\", IECON'84, p.362\u2013366."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Murata T., Komoda N., Matsumoto K., Haruna K.: \"A Petri net based controller for flexible and maintainable sequence control and its applications in factory automation\", IEEE trans. on Industrial Electronics, vol. IE-33, n1, feb. 1986.","DOI":"10.1109\/TIE.1986.351700"},{"key":"8_CR13","unstructured":"Y. Narahari, N. Viswanadham: \"On the invariants of coloured Petri nets\", 6th European Workshop on Applications and Theory of Petri nets, Espoo, Finland, 1985."},{"key":"8_CR14","unstructured":"Pagnoni A.: \"Stochastic invariance in predicate-transition nets\", 6th European Workshop on Applications and Theory of Petri nets, Espoo, Finland, 1985."},{"key":"8_CR15","unstructured":"Sibertin-Blanc: \"High-level Petri nets with data structure\", 6th European Workshop on Applications and Theory of Petri nets, Espoo, Finland, 1985."},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"JP. Sucena Paiva, JL. Pinto de Sa, L. Barruncho: \"Integrated data acquisition and automation in distribution substations\", IFAC Symposium on Planning and Operation of Electic Energy Systems, Rio de Janeiro 1985.","DOI":"10.1016\/S1474-6670(17)60428-2"},{"key":"8_CR17","unstructured":"Tashiro T., Komoda N., Tsushima I., Matsumoto K.: \"Advanced software for constraint combinational control of discrete event systems \u2014 rule-based control software for factory automation\", Compint 85 Computer aided technologies, Montr\u00e9al, sept. 1985."},{"issue":"1","key":"8_CR18","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0022-0000(79)90050-3","volume":"18","author":"R. Valette","year":"1979","unstructured":"R. Valette: \"Analysis of Petri nets by stepwise refinements\", Journal of Computer and System Sciences, vol.18, n.1, 1979, P.35\u201346.","journal-title":"Journal of Computer and System Sciences"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Zisman M.D.: \"Use of production systems for modeling asynchronous concurrent processes\", p.53\u201368, Academic Press Inc., ISBN 0-12-737550-3, 1978.","DOI":"10.1016\/B978-0-12-737550-2.50008-7"}],"container-title":["Lecture Notes in Computer Science","Petri Nets: Applications and Relationships to Other Models of Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17906-2_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:13:20Z","timestamp":1605644000000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17906-2_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540179061","9783540479260"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-17906-2_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}