{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T22:24:11Z","timestamp":1648592651701},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1993,2,1]],"date-time":"1993-02-01T00:00:00Z","timestamp":728524800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[1993,2]]},"DOI":"10.1007\/bf01797161","type":"journal-article","created":{"date-parts":[[2005,6,20]],"date-time":"2005-06-20T23:29:59Z","timestamp":1119310199000},"page":"265-297","source":"Crossref","is-referenced-by-count":3,"title":["Locked discrete event systems: How to model and how to unlock"],"prefix":"10.1007","volume":"2","author":[{"given":"Rein","family":"Smedinga","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF01797161_CR1","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R., 1985.Communicating Sequential Processes. Englewood Cliffs, NJ: Prentice Hall."},{"key":"BF01797161_CR2","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., and Ullman, J.D., 1979.Introduction to Automata Theory, Languages, and Computation. Reading, MA: Addison-Wesley."},{"key":"BF01797161_CR3","unstructured":"Kaldewaij, A., 1988.A formalism for concurrent processes. Ph.D. thesis, Department of mathematics and computing science, Eindhoven University of Technology."},{"key":"BF01797161_CR4","volume-title":"Proc. 1988 Conf. Information Science and Systems","author":"Yong Li","year":"1988","unstructured":"Li, Yong, and Wonham, W.M., 1988. Deadlock issues in supervisory control of discrete event systems.Proc. 1988 Conf. Information Science and Systems, Princeton University, Princeton, NJ."},{"key":"BF01797161_CR5","doi-asserted-by":"crossref","unstructured":"Milner, R., 1980.A Calculus for Communicating Systems. Lecture Notes in Computer Science, vol. 92. Springer-Verlag.","DOI":"10.1007\/3-540-10235-3"},{"key":"BF01797161_CR6","volume-title":"Petri Net Theory and the modelling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L., 1981.Petri Net Theory and the modelling of Systems. Englewood Cliffs, NJ: Prentice-Hall."},{"key":"BF01797161_CR7","doi-asserted-by":"crossref","unstructured":"Ramadge, P.J., and Wonham, W.M., 1987. Supervisory control of a class of discrete event processes.SIAM J. Control Optim., 25(1). See also Systems Control Group report 8515, Department of Electrical Engineering, University of Toronto.","DOI":"10.1137\/0325013"},{"key":"BF01797161_CR8","doi-asserted-by":"crossref","unstructured":"Ramadge, P.J., and Wonham, W.M., 1989. The control of discrete event systems.Proc. IEEE, 77(1).","DOI":"10.1109\/5.21072"},{"key":"BF01797161_CR9","doi-asserted-by":"crossref","unstructured":"Smedinga, R., 1988. Using trace theory to model discrete events. InDiscrete Event Systems: Models and Applications, Varaiya, P. and Kurzhanski, A.B. (eds.) Lecture Notes in Control and Information Science, No. 103, Springer-Verlag. Workshop Sopron, Hungary, IIASA.","DOI":"10.1007\/BFb0042306"},{"key":"BF01797161_CR10","unstructured":"Smedinga, R., 1989.Control of discrete events. Ph.D. thesis, University of Groningen."},{"key":"BF01797161_CR11","doi-asserted-by":"crossref","unstructured":"Smediniga, R., 1991. An effective way to undo a discrete event system of its (dead)lock.Preprints Proc. IFAC Symp. Design Methods for Control Systems, Z\u00fcrich.","DOI":"10.1016\/S1474-6670(17)54215-9"},{"key":"BF01797161_CR12","unstructured":"Smedinga, R., 1992a. Discrete event systems. Course notes, Department of Computing Science, University of Groningen."},{"key":"BF01797161_CR13","unstructured":"Smedinga, R., 1992b. The reflection operator in discrete event systems. Technical report CS9201, Department of Computing Science, University of Groningen."},{"key":"BF01797161_CR14","doi-asserted-by":"crossref","unstructured":"van de Snepscheut, J.L.A., 1985.Trace Theory and VLSI Design. Lecture Notes in Computer Science, vol. 200, Springer-Verlag.","DOI":"10.1007\/BFb0031414"},{"key":"BF01797161_CR15","unstructured":"Udding, J.T., 1984.Classification and composition of delay-insensitive circuits. Ph.D. thesis, Department of Mathematics and Computing Science, Eindhoven University of Technology."}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01797161.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01797161\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01797161","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T21:38:14Z","timestamp":1586295494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01797161"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,2]]},"references-count":15,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1993,2]]}},"alternative-id":["BF01797161"],"URL":"https:\/\/doi.org\/10.1007\/bf01797161","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,2]]}}}