{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T20:36:22Z","timestamp":1760819782771},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1993,3,1]],"date-time":"1993-03-01T00:00:00Z","timestamp":730944000000},"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,3]]},"DOI":"10.1007\/bf01439176","type":"journal-article","created":{"date-parts":[[2005,4,12]],"date-time":"2005-04-12T12:24:35Z","timestamp":1113308675000},"page":"39-69","source":"Crossref","is-referenced-by-count":18,"title":["A modeling strategy for hybrid systems based on event structures"],"prefix":"10.1007","volume":"3","author":[{"given":"Philippos","family":"Peleties","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raymond","family":"Decarlo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Agerwala, T. 1979. Putting Petri nets to work.IEEE Comput. pp. 85?94.","DOI":"10.1109\/MC.1979.1658580"},{"key":"CR2","first-page":"817","volume":"2","author":"H. Atabakhche","year":"1986","unstructured":"Atabakhche, H., Simonetti Barbalho, D., Valette, R. and Courvoiser, M. 1986. From Petri net-based PLCs to knowledge-based control.Proc. IECON '86, Vol. 2, pp. 817?822.","journal-title":"Proc. IECON '86"},{"issue":"5","key":"CR3","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1109\/9.53519","volume":"35","author":"A. Benvensiste","year":"1990","unstructured":"Benvensiste, A., and Le Guernic, P. 1990. Hybrid dynamical systems theory and the SIGNAL language.IEEE Trans. Automat. Control. AC-35(5), pp. 535?546.","journal-title":"IEEE Trans. Automat. Control. AC"},{"issue":"2","key":"CR4","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1109\/9.381","volume":"33","author":"K. Brand","year":"1988","unstructured":"Brand, K., and Kopainsky, J. 1988. Principles and engineering of process control with Petri nets.IEEE Trans. Automat. Control. AC-33(2), pp. 138?149.","journal-title":"IEEE Trans. Automat. Control. AC"},{"issue":"3","key":"CR5","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1109\/5.4400","volume":"76","author":"R.A. DeCarlo","year":"1988","unstructured":"DeCarlo, R.A., Zak, S.H., and Matthews, G.P. 1988. Variable structure control of nonlinear multivariable systems: a tutorial.Proc. IEEE. 76(3), pp. 212?232.","journal-title":"Proc. IEEE"},{"key":"CR6","volume-title":"An Introduction to Chaotic Dynamical Systems","author":"R.L. Devaney","year":"1989","unstructured":"Devaney, R.L. 1989.An Introduction to Chaotic Dynamical Systems, 2nd ed. Addison-Wesley: Redwood City, CA.","edition":"2nd ed."},{"key":"CR7","unstructured":"Harel, D. 1987. STATECHARTS: a visual formalism for complex systems. InScience of Computer Programming. North-Holland, Vol. 8, pp. 231?274."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1109\/MC.1984.1659029","volume":"17","author":"N. Komoda","year":"1984","unstructured":"Komoda, N., Kera, K., and Kubo, T. 1984. An autonomous, decentralized control system for factory automation.IEEE Trans. Comput. C-17, p. 73?83.","journal-title":"IEEE Trans. Comput. C"},{"issue":"4","key":"CR9","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1109\/TAC.1987.1104602","volume":"12","author":"A. H. Levis","year":"1987","unstructured":"Levis, A. H. 1987. Challenges to control: a collective view.IEEE Trans. Automat. Control. AC-12(4), pp. 275?285.","journal-title":"IEEE Trans. Automat. Control. AC"},{"issue":"1","key":"CR10","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/21.87067","volume":"18","author":"C. Looney","year":"1988","unstructured":"Looney, C. 1988. Fuzzy Petri nets for rule-based decision-making.IEEE Trans. System, Man, Cybernet. SMC-18(1), pp. 178?183.","journal-title":"IEEE Trans. System, Man, Cybernet. SMC"},{"issue":"3","key":"CR11","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF00938213","volume":"52","author":"K.A. Loparo","year":"1987","unstructured":"Loparo, K.A., Aslanis, J.T., and Hajek, O. 1987a. Analysis of switched linear systems in the plane. Part 1: Local behavior of trajectories and local cycle geometry.J. Optim. Theory Appl. 52(3), pp. 365?394.","journal-title":"J. Optim. Theory Appl."},{"issue":"3","key":"CR12","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/BF00938214","volume":"52","author":"K.A. Loparo","year":"1987","unstructured":"Loparo, K.A., Aslanis, J.T., and Hajek, O. 1987b. Analysis of switched linear systems in the plane. Part 2: Global behavior of trajectories, controllability and attainability.J. Optim. Theory Appl. 52(3), pp. 395?427.","journal-title":"J. Optim. Theory Appl."},{"key":"CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6087-5","volume-title":"State Models of Dynamic Systems","author":"N.H. McClamroch","year":"1980","unstructured":"McClamroch, N.H. 1980.State Models of Dynamic Systems. Springer-Verlag: New York."},{"key":"CR14","first-page":"389","volume-title":"Modeling and Design of Flexible Manufacturing Systems","author":"J. Martinez","year":"1986","unstructured":"Martinez, J., Alla, H., and Silva, H. 1986. Petri nets for the specification of FMSs. InModeling and Design of Flexible Manufacturing Systems. Andrew Kusiak Elsevier Science: Amsterdam. pp. 389?406."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Moalla, M., Pulou, J. and Sifakis, J. 1978. Synchronized Petri nets: a model for the description of non-autonomous systems. InMathematical Foundations of Computer Science. Springer-Verlag.","DOI":"10.1007\/3-540-08921-7_85"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/978-1-4613-2677-9_20","volume-title":"Management and Office Information Systems","author":"T. Murata","year":"1984","unstructured":"Murata, T. 1984. Petri nets and their application: an introduction. InManagement and Office Information Systems. New York: Plenum, pp. 351?368."},{"issue":"1","key":"CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/T-ED.1986.22428","volume":"33","author":"T. Murata","year":"1986","unstructured":"Murata, T., Komoda, N., Matsumoto, K., and Haruna, K. 1986. A Petri net-based controller for flexible and maintainable sequence control and its applications in factory automation.IEEE Trans. Ind. Electron. IE-33(1), pp. 1?8.","journal-title":"IEEE Trans. Ind. Electron. IE"},{"key":"CR18","unstructured":"Peleties, P.A., and DeCarlo, R.A. 1988. Modeling of interacting continuous time and discrete event systems: an example.Proc. Twenty-Sixth Allerton Conf. Communication, Control and Computing, pp. 1150?1159."},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Peleties, P.A., and DeCarlo, R.A. 1989. A modeling strategy with event structures for hybrid systems.Twenty-Eighth IEEE Conf. Decision and Control, Tampa Bay, FL.","DOI":"10.1109\/CDC.1989.70349"},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Peleties, P.A., and DeCarlo, R.A. 1991. Asymptotic stability of m-switched systems using Lyapunov-like functions.Amer. Conf. Control. Boston, MA.","DOI":"10.23919\/ACC.1991.4791667"},{"key":"CR21","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: Englewood Cliffs, NJ."},{"issue":"7","key":"CR22","doi-asserted-by":"crossref","first-page":"807","DOI":"10.1109\/9.57019","volume":"35","author":"P.J. Ramadge","year":"1990","unstructured":"Ramadge, P.J. 1990. On the periodicity of symbolic observations of piecewise smooth discrete-time systems.IEEE Trans. Automat. Control AC-35(7), pp. 807?813.","journal-title":"IEEE Trans. Automat. Control AC"},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"Ramadge, P.J., and Wonham, W.M. 1987. Supervisory control of a class of discrete event processess,SIAM. J. Control Optim. 25(1).","DOI":"10.1137\/0325013"},{"key":"CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"Reisig, W. 1985.Petri Nets: An Introduction. Springer-Verlag: Berlin."},{"key":"CR25","unstructured":"Seidman, T. I. Switching system. I: Math., Report 86-78, UMBC, Baltimore, 1986."},{"issue":"6","key":"CR26","doi-asserted-by":"crossref","first-page":"812","DOI":"10.1109\/TSMC.1985.6313468","volume":"15","author":"D. Tabak","year":"1985","unstructured":"Tabak, D., and Levis, A. 1985. Petri net representation of decision models.IEEE Trans. Systems, Man, Cybernet. SMC-15(6), pp. 812?818.","journal-title":"IEEE Trans. Systems, Man, Cybernet. SMC"},{"key":"CR27","unstructured":"Valette, R. Courvoisier, M., Demmou, H., Bigou, J.M. and Desclaux, C. 1985. Putting Petri nets to work for controlling flexible manufacturing systems.Proc. ISCAS, pp. 929?932."},{"key":"CR28","first-page":"325","volume":"255","author":"G. Winskel","year":"1986","unstructured":"Winskel, G. 1986. Event structures.Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986. Part II:Proceedings of An Advanced Course, Bad Honnef, Springer-Verlag, Vol. 255, pp. 325?392.","journal-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986. Part II: Proceedings of An Advanced Course, Bad Honnef"}],"container-title":["Discrete Event Dynamic Systems: Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01439176.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01439176\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01439176","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T19:36:33Z","timestamp":1586201793000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01439176"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,3]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,3]]}},"alternative-id":["BF01439176"],"URL":"https:\/\/doi.org\/10.1007\/bf01439176","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,3]]}}}