{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T06:19:20Z","timestamp":1761718760808,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,10]],"date-time":"2018-10-10T00:00:00Z","timestamp":1539129600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,10]]},"DOI":"10.1145\/3286606.3286786","type":"proceedings-article","created":{"date-parts":[[2018,12,14]],"date-time":"2018-12-14T19:12:50Z","timestamp":1544814770000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["A Petri Net Model for the Waste Disposal Process System in the \"Smart Clean City\" Project"],"prefix":"10.1145","author":[{"given":"Olga","family":"Dolinina","sequence":"first","affiliation":[{"name":"Department of Information Systems and Technology, Yuri Gagarin State Technical University, Saratov, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vitaly","family":"Pechenkin","sequence":"additional","affiliation":[{"name":"Department of Information Systems and Technology, Yuri Gagarin State Technical University, Saratov, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolay","family":"Gubin","sequence":"additional","affiliation":[{"name":"Department of Information Systems and Technology, Yuri Gagarin State Technical University, Saratov, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vadim","family":"Kushnikov","sequence":"additional","affiliation":[{"name":"Institute of Precise Mechanics & Control, Russian Academy of Science, Saratov, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,10,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"OCTOBER","author":"Global Innovators","year":"2013","unstructured":"Global Innovators : International Case Studies on Smart Cities. Research paper number 135 . OCTOBER 2013 . https:\/\/www.gov.uk\/government\/ publications\/smart-cities-international-case-studies-global-innovators. Global Innovators: International Case Studies on Smart Cities. Research paper number 135. OCTOBER 2013. https:\/\/www.gov.uk\/government\/ publications\/smart-cities-international-case-studies-global-innovators."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2012.615"},{"key":"e_1_3_2_1_3_1","unstructured":"IEEE Smart City definition. ttp:\/\/smartcities.ieee.org\/about  IEEE Smart City definition. ttp:\/\/smartcities.ieee.org\/about"},{"key":"e_1_3_2_1_4_1","volume-title":"Sustainable Cities","author":"Toppeta D.","year":"2010","unstructured":"Toppeta D. ( 2010 ) The Smart City Vision: How Innovation and ICT Can Build Smart, \"Livable \", Sustainable Cities . The Innovation Knowledge Foundation . inta-aivn.org\/ Toppeta D. (2010) The Smart City Vision: How Innovation and ICT Can Build Smart, \"Livable\", Sustainable Cities. The Innovation Knowledge Foundation. inta-aivn.org\/"},{"key":"e_1_3_2_1_5_1","first-page":"432","volume-title":"Proceedings of 24th International Conference on Computer Networks","volume":"718","author":"Dolinina O.","year":"2017","unstructured":"Dolinina O. , Brovko A. , Pechenkin V. ( 2017 ) Method of the management of garbage collection in the \"Smart Clean City\" project. In: Communications in Computer and Information Science , Proceedings of 24th International Conference on Computer Networks , Vol. 718 , pp. 432 -- 443 . Dolinina O., Brovko A., Pechenkin V. (2017) Method of the management of garbage collection in the \"Smart Clean City\" project. In: Communications in Computer and Information Science, Proceedings of 24th International Conference on Computer Networks, Vol. 718, pp. 432--443."},{"key":"e_1_3_2_1_6_1","first-page":"875","article-title":"Modeling and Analysis of Urban Traffic Lights Control Systems Using Timed CP-nets","volume":"24","author":"Huang Y","year":"2008","unstructured":"Huang Y , Chung T. ( 2008 ) Modeling and Analysis of Urban Traffic Lights Control Systems Using Timed CP-nets . Journal of information science and engineering , 24 , pp. 875 -- 890 . http:\/\/www.iis.sinica.edu.tw\/page\/ jise\/2008\/200805_13.pdf Huang Y, Chung T. (2008) Modeling and Analysis of Urban Traffic Lights Control Systems Using Timed CP-nets. Journal of information science and engineering, 24, pp. 875--890. http:\/\/www.iis.sinica.edu.tw\/page\/ jise\/2008\/200805_13.pdf","journal-title":"Journal of information science and engineering"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/647741.735955"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJMIC.2012.049685"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the Kolsk science center RAS 3: 35--40 (in Russian).","author":"Malkov M. V.","year":"2010","unstructured":"Malkov M. V. , Maligina S. N. ( 2010 ) Petri nets and modeling . In: Proceedings of the Kolsk science center RAS 3: 35--40 (in Russian). Malkov M. V., Maligina S. N. (2010) Petri nets and modeling. In: Proceedings of the Kolsk science center RAS 3: 35--40 (in Russian)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2009.06.003"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90184-H"},{"key":"e_1_3_2_1_12_1","volume-title":"Controlling Petri net behavior using priorities for transitions. Fundamenta informaticae","author":"Lomazova I.A.","year":"2016","unstructured":"Lomazova I.A. , Popova-Zeugmann L. ( 2016 ) Controlling Petri net behavior using priorities for transitions. Fundamenta informaticae , Vol. 143 , No. 1-2, pp.101--112. Lomazova I.A., Popova-Zeugmann L. (2016) Controlling Petri net behavior using priorities for transitions. Fundamenta informaticae, Vol. 143, No. 1-2, pp.101--112."},{"key":"e_1_3_2_1_13_1","volume-title":"Information technology for design of automated control of technological processes systems. Control, communication and security systems. 1: 207--239 (in Russian)","author":"Ryabtsev V.G.","year":"2016","unstructured":"Ryabtsev V.G. , Utkina T. Yu. ( 2016 ) Information technology for design of automated control of technological processes systems. Control, communication and security systems. 1: 207--239 (in Russian) . Ryabtsev V.G., Utkina T. Yu. (2016) Information technology for design of automated control of technological processes systems. Control, communication and security systems. 1: 207--239 (in Russian)."},{"key":"e_1_3_2_1_14_1","volume-title":"Petri nets in modeling the process of freight forwarding services. Road transport (Kharkov) 24: 120--124 (in Russian)","author":"Naumov V.S.","year":"2009","unstructured":"Naumov V.S. ( 2009 ) Petri nets in modeling the process of freight forwarding services. Road transport (Kharkov) 24: 120--124 (in Russian) . Naumov V.S. (2009) Petri nets in modeling the process of freight forwarding services. Road transport (Kharkov) 24: 120--124 (in Russian)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDM.2015.25"}],"event":{"name":"SCA '18: 3rd International Conference on Smart City Applications","acronym":"SCA '18","location":"Tetouan Morocco"},"container-title":["Proceedings of the 3rd International Conference on Smart City Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3286606.3286786","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3286606.3286786","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:42Z","timestamp":1750208262000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3286606.3286786"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,10]]},"references-count":15,"alternative-id":["10.1145\/3286606.3286786","10.1145\/3286606"],"URL":"https:\/\/doi.org\/10.1145\/3286606.3286786","relation":{},"subject":[],"published":{"date-parts":[[2018,10,10]]},"assertion":[{"value":"2018-10-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}