{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T20:38:21Z","timestamp":1743021501090,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662493809"},{"type":"electronic","value":"9783662493816"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49381-6_36","type":"book-chapter","created":{"date-parts":[[2016,3,7]],"date-time":"2016-03-07T18:24:06Z","timestamp":1457375046000},"page":"377-387","source":"Crossref","is-referenced-by-count":0,"title":["Interpreted Petri Nets in DES Control Synthesis"],"prefix":"10.1007","author":[{"given":"Franti\u0161ek","family":"\u010capkovi\u010d","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","doi-asserted-by":"crossref","unstructured":"\u010capkovi\u010d, F.: Agent based approach to modelling ATM network. In: Proceedings of the 2012 IEEE 6th International Conference on Intelligent Systems - IEEE IS 2012, Sofia, Bulgaria, 6\u20138 September 2012, vol. I, pp. 102\u2013107. IEEE Press, Piscataway (2012)","DOI":"10.1109\/IS.2012.6335198"},{"key":"36_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/3-540-65306-6_15","volume-title":"Lectures on Petri Nets I: Basic Models","author":"J Desel","year":"1998","unstructured":"Desel, J., Reisig, W.: Place\/transition Petri nets. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 122\u2013173. Springer, Heidelberg (1998)"},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"Dotoli, M., Fanti, M., Mangini, A.: On-line identification of discrete event systems by interpreted Petri nets. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics - SMC 2006, Taipei, Taiwan, 8\u201311 October 2006, vol. 4, pp. 3040\u20133045. IEEE Press, Piscataway (2006)","DOI":"10.1109\/ICSMC.2006.384582"},{"key":"36_CR4","series-title":"Lecture Notes in Control and Information Sciences","volume-title":"Dynamic Analysis of Petri Net-Based Discrete Systems","author":"A Karatkevich","year":"2007","unstructured":"Karatkevich, A.: Dynamic Analysis of Petri Net-Based Discrete Systems. Lecture Notes in Control and Information Sciences, vol. 356. Springer, Heidelberg (2007)"},{"key":"36_CR5","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/j.protcy.2013.04.032","volume":"7","author":"Alberto Lutz-Ley","year":"2013","unstructured":"Lutz-Ley, A., Mellado, E.L.: Synthesis of fault recovery sequences in a class of controlled discrete event systems modelled with Petri nets. In: 2013 Iberoamerican Conference on Electronics Engineering and Computer Science, Procedia Technology, vol. 7, pp. 257\u2013264 (2013)","journal-title":"Procedia Technology"},{"key":"36_CR6","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77, 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"36_CR7","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"JL Peterson","year":"1977","unstructured":"Peterson, J.L.: Petri nets. Comput. Surv. 9, 223\u2013252 (1977)","journal-title":"Comput. Surv."},{"key":"36_CR8","volume-title":"Petri Net Theory and the Modeling of Systems","author":"JL Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall Inc., Englewood Cliffs (1981)"},{"key":"36_CR9","first-page":"553","volume":"41","author":"I Rivera-Rangel","year":"2005","unstructured":"Rivera-Rangel, I., Ram\u00edrez-Trevi\u00f1o, A., Aquirre-Salas, L.I., Ruiz-Le\u00f3n, L.I.: Geometrical characterization of observability in interpreted Petri nets. Kybernetika 41, 553\u2013574 (2005)","journal-title":"Kybernetika"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"Santoyo-Sanchez, A., P\u00e9rez-Mart\u00ednez, M.A., De Jes\u00fas-Vel\u00e1squez, V., Aguirre-Salas, L.I., Alvarez-Ure\u00f1a, M.A.: Modeling methodology for NPC\u2019s using interpreted Petri nets and feedback control. In: Proceedings of the 2010 7th International Conference on Electrical Engineering, Computing Science and Automatic Control - CCE 2010, Tuxtla Guti\u00e9rrez, Chiapas, Mexico, 8\u201310 September 2010. CD-ROM, pp. 369\u2013374. IEEE Press (2010)","DOI":"10.1109\/ICEEE.2010.5608669"}],"container-title":["Lecture Notes in Computer Science","Intelligent Information and Database Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49381-6_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T12:46:29Z","timestamp":1720788389000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-49381-6_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662493809","9783662493816"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49381-6_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}