{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:07:19Z","timestamp":1725566839884},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660767"},{"type":"electronic","value":"9783540487654"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-48765-4_90","type":"book-chapter","created":{"date-parts":[[2010,9,24]],"date-time":"2010-09-24T20:27:57Z","timestamp":1285360077000},"page":"849-858","source":"Crossref","is-referenced-by-count":1,"title":["Analysis of Manufacturing Lines Using a Phase Space Algorithm: Open Line Case"],"prefix":"10.1007","author":[{"given":"T.","family":"El-Fouly","sequence":"first","affiliation":[]},{"given":"N.","family":"Zerhouni","sequence":"additional","affiliation":[]},{"given":"M.","family":"Ferney","sequence":"additional","affiliation":[]},{"given":"A.","family":"El Moudni","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"90_CR1","unstructured":"Alla, H., Cavaille, J.B., Le Bail, J., Bel, G.: Mod\u00e9ration par r\u00e9seaux de Petri Hybrides et \u00e9valuation de Performances de syst\u00e8mes de production par lots (Rapport Interm\u00e9diaire) (1992)"},{"key":"90_CR2","unstructured":"Allam, M., Alla, H.: Modeling Production Systems by Hybrid Automata and Hybrid Petri Nets, Control of industrial systems. In: IFAC-IFIP-IMACS, vol.\u00a01, pp. 463\u2013468 (1997)"},{"key":"90_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.H.: Hybrid automata: an algorithmic approach to the specification and analysis of hybrid systems. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) HS 1991 and HS 1992. LNCS, vol.\u00a0736, pp. 209\u2013229. Springer, Heidelberg (1993)"},{"key":"90_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic Analysis of Hybrid systems. Theoretical Computer Science\u00a0138, 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"key":"90_CR5","unstructured":"David, R., Alla, H.: Du Grafcet aux R\u00e9seaux de Petri. Herm\u00e8s, Paris"},{"key":"90_CR6","unstructured":"El-Fouly, T., Zerhouni, N., Ferney, M., El Moudni, A.: Modeling and analysis of manufacturing systems using a hybrid approach. In: 3eme conference Internationale sur l\u2019Automatisation des Processus Mixtes, ADPM 1998 Reims, pp. 79\u201385 (1998)"},{"key":"90_CR7","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J. Peterson","year":"1981","unstructured":"Peterson, J.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"90_CR8","unstructured":"Stiver, J.A., Antsaklis, P.J., Lemmon, M.D.: A logical DES approach to the design of hybrid systems, Technical Report of the ISIS Group (Interdisciplinary Studies of Intelligent Systems) ISIS-94-011. University of Notre Dame (October 1994)"}],"container-title":["Lecture Notes in Computer Science","Multiple Approaches to Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48765-4_90","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T23:01:49Z","timestamp":1558306909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48765-4_90"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660767","9783540487654"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48765-4_90","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}