{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:02Z","timestamp":1740099062814,"version":"3.37.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319785738"},{"type":"electronic","value":"9783319785745"}],"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-78574-5_8","type":"book-chapter","created":{"date-parts":[[2018,3,28]],"date-time":"2018-03-28T16:39:57Z","timestamp":1522255197000},"page":"81-89","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Modelling Cyber Physical Social Systems Using Dynamic Time Petri Nets"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1900-934X","authenticated-orcid":false,"given":"Shabnam","family":"Pasandideh","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4299-8270","authenticated-orcid":false,"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6171-7345","authenticated-orcid":false,"given":"Pedro","family":"Mal\u00f3","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,3,29]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Broman, D., Lee, E.A., Tripakis, S., Torngren, M.: Viewpoints, formalisms, languages, and tools for cyber-physical systems. In: 6th International Workshop on Multi-Paradigm Modeling, pp. 49\u201354 (2012)","DOI":"10.1145\/2508443.2508452"},{"issue":"4","key":"8_CR2","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1109\/MIS.2010.104","volume":"25","author":"FY Wang","year":"2010","unstructured":"Wang, F.Y.: The emergence of intelligent enterprises: from CPS to CPSS. IEEE Intell. Syst. 25(4), 85\u201388 (2010)","journal-title":"IEEE Intell. Syst."},{"issue":"9","key":"8_CR3","doi-asserted-by":"crossref","first-page":"1421","DOI":"10.1109\/TCAD.2016.2633961","volume":"36","author":"SA Seshia","year":"2017","unstructured":"Seshia, S.A., Hu, S., Li, W., Zhu, Q.: Design automation of cyber-physical systems: challenges, advances, and opportunities. IEEE Trans. Comput. Des. Integr. Circ. Syst. 36(9), 1421\u20131434 (2017)","journal-title":"IEEE Trans. Comput. Des. Integr. Circ. Syst."},{"key":"8_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05324-9","volume-title":"Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications","author":"C Girault","year":"2003","unstructured":"Girault, C., Valk, R.: Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications. Springer, Berlin (2003). https:\/\/doi.org\/10.1007\/978-3-662-05324-9"},{"issue":"1","key":"8_CR5","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1109\/TR.2013.2240891","volume":"62","author":"R Mitchell","year":"2013","unstructured":"Mitchell, R., Chen, I.-R.: Effect of intrusion detection and response on reliability of cyber physical systems. IEEE Trans. Reliab. 62(1), 199\u2013210 (2013)","journal-title":"IEEE Trans. Reliab."},{"issue":"1","key":"8_CR6","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/s13174-011-0057-4","volume":"3","author":"G Denker","year":"2012","unstructured":"Denker, G., Dutt, N., Mehrotra, S., Stehr, M.-O., Talcott, C., Venkatasubramanian, N.: Resilient dependable cyber-physical systems: a middleware perspective. J. Internet Serv. Appl. 3(1), 41\u201349 (2012)","journal-title":"J. Internet Serv. Appl."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Zeng, J., Yang, L.T., Lin, M., Ning, H., Ma, J.: A survey: cyber-physical-social systems and their system-level design methodology. Futur. Gener. Comput. Syst., 17 August 2016. In press","DOI":"10.1016\/j.future.2016.06.034"},{"key":"8_CR8","unstructured":"Zanni, A.: Cyber-physical systems and smart cities - Learn how smart devices, sensors, and actuators are advancing Internet of Things implementations, pp. 1\u20138 (2015). https:\/\/www.ibm.com\/developerworks\/library\/ba-cyber-physical-systems-and-smart-cities-iot\/ . Accessed"},{"issue":"4","key":"8_CR9","doi-asserted-by":"crossref","first-page":"415","DOI":"10.3233\/FI-2000-41403","volume":"41","author":"H-M Hanisch","year":"2000","unstructured":"Hanisch, H.-M., L\u00fcder, A.: A signal extension for petri nets and its use in controller design. Fundamenta Informaticae 41(4), 415\u2013431 (2000)","journal-title":"Fundamenta Informaticae"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Gomes, L., Barros, J.-P., Costa, A., Nunes, R.: The input-output place-transition petri net class and associated tools. In: INDIN 2007 - 5th IEEE International Conference on Industrial Informatics, Vienna, Austria, 23\u201326 July 2007","DOI":"10.1109\/INDIN.2007.4384809"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Gomes, L., Moutinho, F., Pereira, F., Ribeiro, J., Costa, A., Barros, J.-P.: Extending input-output place-transition petri nets for distributed controller systems development. In: ICMC 2014 - International Conference on Mechatronics and Control, Jinzhou, China, pp. 1099\u20131104 (2014)","DOI":"10.1109\/ICMC.2014.7231723"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Zilio, S.D., Fronc, L., Berthomieu, B., Vernadat, F.: Time petri nets with dynamic firing dates: semantics and applications. In: 12th International Conference, FORMATS, Florence, Italy, pp. 85\u201399 (2014)","DOI":"10.1007\/978-3-319-10512-3_7"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/3-540-65306-6_17","volume-title":"Lectures on Petri Nets I: Basic Models","author":"M Ajmone Marsan","year":"1998","unstructured":"Ajmone Marsan, M., Bobbio, A., Donatelli, S.: Petri nets in performance analysis: An introduction. In: Reisig, W., Rozenberg, G. (eds.) ACPN 1996. LNCS, vol. 1491, pp. 211\u2013256. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/3-540-65306-6_17"},{"issue":"4","key":"8_CR14","doi-asserted-by":"crossref","first-page":"1504","DOI":"10.1109\/TASE.2016.2553439","volume":"13","author":"G Maione","year":"2016","unstructured":"Maione, G., Mangini, A.M., Ottomanelli, M.: A generalized stochastic petri net approach for modeling activities of human operators in intermodal container terminals. IEEE Trans. Autom. Sci. Eng. 13(4), 1504\u20131516 (2016)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"3","key":"8_CR15","first-page":"875","volume":"24","author":"Y-S Huang","year":"2008","unstructured":"Huang, Y.-S., Chung, T.-H.: Modeling and analysis of urban traffic lights control systems using timed CP-nets. J. Inf. Sci. Eng. 24(3), 875\u2013890 (2008)","journal-title":"J. Inf. Sci. Eng."},{"issue":"4","key":"8_CR16","doi-asserted-by":"crossref","first-page":"2024","DOI":"10.1109\/TII.2014.2341933","volume":"10","author":"F Moutinho","year":"2014","unstructured":"Moutinho, F., Gomes, L.: Asynchronous-channels within Petri net based GALS distributed embedded systems modeling. IEEE Trans. Industr. Inf. 10(4), 2024\u20132033 (2014)","journal-title":"IEEE Trans. Industr. Inf."}],"container-title":["IFIP Advances in Information and Communication Technology","Technological Innovation for Resilient Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-78574-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,30]],"date-time":"2020-10-30T10:48:21Z","timestamp":1604054901000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-78574-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319785738","9783319785745"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-78574-5_8","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2018]]}}}