{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,3]],"date-time":"2025-10-03T22:29:03Z","timestamp":1759530543650,"version":"3.32.0"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1992,12,1]],"date-time":"1992-12-01T00:00:00Z","timestamp":723168000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Manuf"],"published-print":{"date-parts":[[1992,12]]},"DOI":"10.1007\/bf01473533","type":"journal-article","created":{"date-parts":[[2005,4,13]],"date-time":"2005-04-13T19:33:40Z","timestamp":1113420820000},"page":"379-390","source":"Crossref","is-referenced-by-count":7,"title":["Automated guided vehicle systems and their Petri-net properties"],"prefix":"10.1007","volume":"3","author":[{"given":"Suhua","family":"Hsieh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying-Jer","family":"Shih","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"85","volume-title":"Computer","author":"T. Agerwala","year":"1979","unstructured":"Agerwala, T. (1979) Putting Petri nets to work.Computer, IEEE Computer Society, Los Alamitors, CA, December, 85?95."},{"key":"CR2","unstructured":"AutoMod (1989) Auto Simulation Inc., Bountiful, Utah, USA."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Crockett, D., Desrochers, A., DiCesare, F. and Ward, T. (1987) Implementation of a Petri net controller for a machining workstation, report no. CH2413-3\/87\/0000\/1861. IEEE.","DOI":"10.1109\/ROBOT.1987.1087773"},{"key":"CR4","unstructured":"Hsieh, S. and Lin, K.-H. M. (1991) AGVS mechanism, inProceedings of the 8th Conference of the Chinese Society of Mechanical Engineers in Taipei, November."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Hsieh, S. and Lin, K.-H. M. (1992) Building AGV traffic-control models with place-transition nets, to appear in theInternational Journal of Advanced Manufacturing Technology.","DOI":"10.1007\/BF02601634"},{"key":"CR6","first-page":"327","volume-title":"Lecture Notes in Computer Science","author":"K. Jensen","year":"1987","unstructured":"Jensen, K. (1987) How to find invariants for coloured Petri nets inLecture Notes in Computer Science, Brauer, W., Reisig, W., and Rozenberg, G. (eds), Springer-Verlag, Germany,118, pp. 327?338."},{"key":"CR7","unstructured":"Kamath, M. and Viswanadham, N. (1986) Applications of Petri net based models in the modelling and analysis of flexible manufacturing systems, report no. CH2282-2\/86\/000\/0312, IEEE."},{"key":"CR8","volume-title":"Digital Logic and Computer Design","author":"M. M. Mano","year":"1979","unstructured":"Mano, M. M. (1979)Digital Logic and Computer Design, Prentice Hall Inc. Englewood Cliffs, New Jersey, USA."},{"key":"CR9","first-page":"389","volume-title":"Modelling and Design of Flexible Manufacturing Systems","author":"J. Martinez","year":"1986","unstructured":"Martinez, J., Alla, H. and Silva, M. (1986) Petri nets for the specification of FMSs, inModelling and Design of Flexible Manufacturing Systems, Elsevier Science Publishers B. V., Amsterdam, pp. 389?406."},{"key":"CR10","volume-title":"MAP\/I User's Manual","author":"R. J. Miner","year":"1987","unstructured":"Miner, R. J. and Rolston, L. J. (1987)MAP\/I User's Manual, Pritsker & Associates, Inc. P. O. Box 2413, West Lafayette, IN 47906, USA"},{"key":"CR11","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J. L. Peterson","year":"1981","unstructured":"Peterson, J. L. (1981)Petri Net Theory and the Modeling of Systems, Prentice Hall Inc., Englewood Cliffs, N.J."},{"key":"CR12","unstructured":"AGVs in America: an inside look (1990), inModern Material Handling, Cahners Publishing Company, pp. 56?59."}],"container-title":["Journal of Intelligent Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01473533.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01473533\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01473533","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T17:00:24Z","timestamp":1735664424000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01473533"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,12]]},"references-count":12,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1992,12]]}},"alternative-id":["BF01473533"],"URL":"https:\/\/doi.org\/10.1007\/bf01473533","relation":{},"ISSN":["0956-5515","1572-8145"],"issn-type":[{"type":"print","value":"0956-5515"},{"type":"electronic","value":"1572-8145"}],"subject":[],"published":{"date-parts":[[1992,12]]}}}