{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:20Z","timestamp":1740099140853,"version":"3.37.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319951706"},{"type":"electronic","value":"9783319951713"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-95171-3_44","type":"book-chapter","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T15:49:47Z","timestamp":1530632987000},"page":"565-576","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Processing of Design and Manufacturing Workflows in a Large Enterprise"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Afanasyev","sequence":"first","affiliation":[]},{"given":"Maria","family":"Ukhanova","sequence":"additional","affiliation":[]},{"given":"Irina","family":"Ionova","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4363-4420","authenticated-orcid":false,"given":"Nikolay","family":"Voit","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,4]]},"reference":[{"key":"44_CR1","unstructured":"Afanas\u2019ev, A.N., Voit, N.N., Bochkov, S.I., Uhanova, M.E., Ionova, I.S.: Razrabotka i issledovanie virtual\u2019nyh rabochih mest v srede OPENSIM. Vestnik Ul\u2019yanovskogo gosudarstvennogo tehnicheskogo universiteta 4(76), 43\u201347 (2016). (in Russia). https:\/\/elibrary.ru\/item.asp?id=27645868 . Accessed 156 Mar 2018"},{"key":"44_CR2","unstructured":"Afanas\u2019ev, A.N., Voit, N.N., Uhanova, M.E., Ionova, I.S., Epifanov, V.V.: Analiz konstruktorsko-tehnologicheskih potokov rabot v usloviyah krupnogo radiotehnicheskogo predpriyatiya. Radiotehnika 6, 49\u201358 (2017). (in Russia). http:\/\/www.radiotec.ru\/article\/19581 . Accessed 15 Mar 2017"},{"key":"44_CR3","unstructured":"Karpov, Y.G.: Model Shecking. Verifikaciya parallel\u2019nyh i raspredelennyh programmnyh sistem. BHV-Peterburg (2010). (in Russia)"},{"key":"44_CR4","unstructured":"Goncharuk, Y.O.: Problemy sozdaniya i vnedreniya modeli biznes-processov predpriyatiya v forme WorkflowSystem. Resursoeffektivnym tehnologiyam-energiyu i entuziazm molodyh: sbornik nauchnyh trudov VI Vserossiiskoi konferencii, pp. 263\u2013272 (2015). (in Russia)"},{"key":"44_CR5","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-540-79396-0_21","volume-title":"Business Information Systems","author":"A Awad","year":"2008","unstructured":"Awad, A., Puhlmann, F.: Structural detection of deadlocks in business process models. In: Abramowicz, W., Fensel, D. (eds.) BIS 2008. LNBIP, vol. 7, pp. 239\u2013250. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-79396-0_21"},{"key":"44_CR6","unstructured":"Aguilar, J.C.P., et al.: Model checking of BPMN models for reconfigurable workflows. arXiv preprint (2016). arXiv:1607.00478"},{"key":"44_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/3-540-48234-2_7","volume-title":"Theoretical and Practical Aspects of SPIN Model Checking","author":"W Janssen","year":"1999","unstructured":"Janssen, W., Mateescu, R., Mauw, S., Fennema, P., van der Stappen, P.: Model checking for managers. In: Dams, D., Gerth, R., Leue, S., Massink, M. (eds.) SPIN 1999. LNCS, vol. 1680, pp. 92\u2013107. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48234-2_7"},{"key":"44_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-319-23063-4_4","volume-title":"Business Process Management","author":"A Kheldoun","year":"2015","unstructured":"Kheldoun, A., Barkaoui, K., Ioualalen, M.: Specification and verification of complex business processes - a high-level petri net-based approach. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPM 2015. LNCS, vol. 9253, pp. 55\u201371. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23063-4_4"},{"key":"44_CR9","unstructured":"Afanasyev, A.N., Voit, N.N., Ukhanova, M.E., Ionova, I.S.: Treatment design-engineering workflows in large enterprises"},{"key":"44_CR10","unstructured":"Trohalinyu, I.: Locman: PLM 2017: Bylo i stalo. Obzor novyh vozmozhnostei v upravlenii dannymi ob izdeliyah mashinostroeniya. SAPR i grafika (2017). (in Russia)"},{"key":"44_CR11","unstructured":"Kochan, I.: T-FLEXPLM na mezhdunarodnom rynke. SAPR i grafika (2017). (in Russia)"},{"key":"44_CR12","unstructured":"Egorov, P.: Proekt \u201cRazvitie SAPR\u201d na baze Kompleksa ASKON. SAPR i grafika (2017). (in Russia)"},{"key":"44_CR13","unstructured":"Vedmid\u2019, P., Vlasov, V.: PLM sistemy menedzhmenta kachestva. SAPR i grafika (2017). (in Russia)"},{"key":"44_CR14","unstructured":"Skvoznaya 3D-tehnologiya ASKON dlya predpriyatii mashinostroeniya (in Russia). http:\/\/ct3d.ru . Accessed 15 Mar 2017"},{"key":"44_CR15","unstructured":"Afanas\u2019ev, A.N., Voit, N.N.: Razrabotka i issledovanie sredstv izvlecheniya iz SAPR KOMPAS-3D i predstavleniya v veb-sistemah konstruktorskogo opisaniya, 3D-modelei promyshlennyh detalei i sborok. V sbornike: Sistemy proektirovaniya, tehnologicheskoi podgotovki proizvodstva i upravleniya etapami zhiznennogo cikla promyshlennogo produkta (SAD\/CAM\/PDM - 2015) Trudy mezhdunarodnoi konferencii, pp. 208\u2013212 (2015). (in Russia)"},{"key":"44_CR16","unstructured":"Afanas\u2019ev, A.N., Voit, N.N.: Komponentnaya avtomatizirovannaya obuchayushaya sistema SAPR na osnove gibridnoi neironnoi seti. Avtomatizaciya. Sovremennye tehnologii 3, 14\u201318 (2009)"},{"key":"44_CR17","unstructured":"Afanas\u2019ev, A.N., Voit, N.N.: Razrabotka komponentno-servisnoi platformy obucheniya: diagrammy ispol\u2019zovaniya i deyatel\u2019nosti programmnogo komponenta scenariya na UML-yazyke. Vestnik Ul\u2019yanovskogo gosudarstvennogo tehnicheskogo universiteta 1(57), 66\u201368 (2012). (in Russia)"},{"issue":"53","key":"44_CR18","first-page":"54","volume":"1","author":"AN Afanas\u2019ev","year":"2011","unstructured":"Afanas\u2019ev, A.N., Voit, N.N.: Realizaciya konstruktora scenariya obuchayushih kursov. Vestnik Ul\u2019yanovskogo gosudarstvennogo tehnicheskogo universiteta 1(53), 54\u201359 (2011)","journal-title":"Vestnik Ul\u2019yanovskogo gosudarstvennogo tehnicheskogo universiteta"},{"key":"44_CR19","unstructured":"Afanas\u2019ev, A.N., Voit, N.N.: Razrabotka metodov nechetkoi parametricheskoi adaptivnoi diagnostiki obuchaemogo inzhenera. Avtomatizaciya processov upravleniya 3, 51\u201356 (2009). (in Russia)"},{"key":"44_CR20","unstructured":"Afanas\u2019ev, A.H., Igonin, A.G., Afanas\u2019eva, T.V., Voit, N.N.: Ispol\u2019zovanie neirosemanticheskih setei dlya avtomatizirovannogo proektirovaniya vychislitel\u2019noi tehniki. Avtomatizaciya. Sovremennye tehnologii 1, 21\u201324 (2008). (in Russia)"},{"key":"44_CR21","doi-asserted-by":"publisher","unstructured":"Afanasyev, A.N., Voit, N.N., Kirillov, S.Y.: Development of RYT-grammar for analysis and control dynamic workflows. In: 2017 International Conference on Computing Networking and Informatics (ICCNI), pp. 1\u20134 (2017). https:\/\/doi.org\/10.1109\/iccni.2017.8123797 , http:\/\/ieeexplore.ieee.org\/stamp\/stamp.jsp?tp=&arnumber=8123797&isnumber=8123766 . Accessed 15 Mar 2017","DOI":"10.1109\/iccni.2017.8123797"},{"key":"44_CR22","doi-asserted-by":"publisher","unstructured":"Voit, N.N.: Development of timed RT-grammars for analysis of business process at manufacturing and in cyber-physical systems. In: 2017 International Conference on Computing Networking and Informatics (ICCNI), pp. 1\u20135 (2017). https:\/\/doi.org\/10.1109\/iccni.2017.8123798 , http:\/\/ieeexplore.ieee.org\/stamp\/stamp.jsp?tp=&arnumber=8123798&isnumber=812376 . Accessed 15 Mar 2017","DOI":"10.1109\/iccni.2017.8123798"},{"key":"44_CR23","doi-asserted-by":"crossref","unstructured":"Afanasyev, A.N., Voit, N.N., Gainullin, R.F.: Diagrammatic models processing in designing the complex automated systems. In: 10th IEEE International Conference on Application of Information and Communication Technologies (AICT) 2016, pp. 441\u2013445 (2016)","DOI":"10.1109\/ICAICT.2016.7991737"},{"key":"44_CR24","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/978-3-319-33816-3_39","volume-title":"Proceedings of the First International Scientific Conference \u201cIntelligent Information Technologies for Industry\u201d (IITI\u201916)","author":"Alexander Afanasyev","year":"2016","unstructured":"Afanasyev, A., Voit, N.: Intelligent agent system to analysis manufacturing process models. In: First International Scientific Conference\u2009\u00ab\u2009Intelligent Information Technologies for Industry\u2009\u00bb\u2009(IITI 2016), Advances in Intelligent Systems and Computing, Russia, vol. 451, pp. 395\u2013403 (2016)"},{"key":"44_CR25","doi-asserted-by":"crossref","unstructured":"Afanasyev, A.N., Voit, N.N., Voevodin, E.Y., Gainullin, R.F.: Control of UML diagrams in designing automated systems software. In: 9th IEEE International Conference on Application of Information and Communication Technologies, AICT-2015, pp. 285\u2013288 (2015)","DOI":"10.1109\/ICAICT.2015.7338564"},{"key":"44_CR26","doi-asserted-by":"crossref","unstructured":"Afanasyev, A., Voit, N.: Multi-agent system to analyse manufacturing process models. In: International Conference on Fuzzy Logic and Intelligent Technologies in Nuclear Science - FLINS2016, France, pp. 444\u2013449 (2016)","DOI":"10.1142\/9789813146976_0072"},{"key":"44_CR27","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-319-33609-1_20","volume-title":"Proceedings of the First International Scientific Conference \u201cIntelligent Information Technologies for Industry\u201d (IITI\u201916)","author":"A Afanasyev","year":"2016","unstructured":"Afanasyev, A., Voit, N., Gaynullin, R.: The analysis of diagrammatic models of workflows in design of the complex automated systems. In: Abraham, A., Kovalev, S., Tarassov, V., Sn\u00e1\u0161el, V. (eds.) Proceedings of the First International Scientific Conference \u201cIntelligent Information Technologies for Industry\u201d (IITI\u201916). AISC, vol. 450, pp. 227\u2013236. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33609-1_20"},{"key":"44_CR28","unstructured":"Statistics of business effects from the introduction of end-to-end workflow technology. https:\/\/sd7.ascon.ru\/Public\/\u041f\u0440\u043e\u043c\u044b\u0448\u043b\u0435\u043d\u043d\u044b\u0439%20\u0444\u043e\u0440\u0443\u043c%202018\/02_\u0420\u043e\u043b\u044c%20\u0421\u0410\u041f\u0420%20\u0432%20\u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0441\u0442\u0432\u0435%20\u0433\u043e\u0442\u043e\u0432\u043e\u0439%20\u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u0438_\u0418\u0432\u0430\u043d\u043e\u0432_\u0415.pdf . Accessed 12 May 2018"},{"key":"44_CR29","unstructured":"Vertical. https:\/\/ascon.ru\/products\/420\/review\/ . Accessed 12 May 2018"},{"key":"44_CR30","unstructured":"T-FLEX Technology. http:\/\/tflex.com . Accessed 12 May 2018"},{"key":"44_CR31","unstructured":"ADEM TDM. http:\/\/www.dietz-cadcam.de\/index.php?id=32&L=2 . Accessed 12 May 2018"},{"key":"44_CR32","unstructured":"Sprut TP. https:\/\/www.sprut.ru\/products-and-solutions\/products\/sprut-tp\/ . Accessed 12 May 2018"},{"key":"44_CR33","unstructured":"Unigraphics NX. https:\/\/www.plm.automation.siemens.com\/global\/en\/products\/nx\/nx-for-design.html . Accessed 12 May 2018"},{"key":"44_CR34","unstructured":"CAM350. https:\/\/www.innofour.com\/412\/eda\/pcb-systems-design\/dfm-npi\/cam350 . Accessed 12 May 2018"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-95171-3_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,20]],"date-time":"2019-10-20T05:15:07Z","timestamp":1571548507000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-95171-3_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319951706","9783319951713"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-95171-3_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}