Abstract
Performance evaluation models and techniques have been studied broadly in many fields. With the blooming of Cyber-Physical Systems (CPSs), Internet of Things (IoT) and other concepts in distributed systems, usage of a reliable and simple modelling strategy is becoming more important. This paper presents a Petri nets based strategy supporting behavioural modelling as well as performance analysis of Cyber-Physical-Social Systems (CPSSs) covering uncertainty situations when the social factor is also playing an effective role in the performance of these systems. The integration and interaction of system components including computation, physics and social factors as a challenging part of these systems are considered. Petri nets models, augmented with dynamic time dependencies associated with transitions, are applied in a case study, and validated as a promising tool for modelling and analysis of these kind of systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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–54 (2012)
Wang, F.Y.: The emergence of intelligent enterprises: from CPS to CPSS. IEEE Intell. Syst. 25(4), 85–88 (2010)
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–1434 (2017)
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
Mitchell, R., Chen, I.-R.: Effect of intrusion detection and response on reliability of cyber physical systems. IEEE Trans. Reliab. 62(1), 199–210 (2013)
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–49 (2012)
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
Zanni, A.: Cyber-physical systems and smart cities - Learn how smart devices, sensors, and actuators are advancing Internet of Things implementations, pp. 1–8 (2015). https://www.ibm.com/developerworks/library/ba-cyber-physical-systems-and-smart-cities-iot/. Accessed
Hanisch, H.-M., Lüder, A.: A signal extension for petri nets and its use in controller design. Fundamenta Informaticae 41(4), 415–431 (2000)
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–26 July 2007
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–1104 (2014)
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–99 (2014)
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–256. Springer, Heidelberg (1998). https://doi.org/10.1007/3-540-65306-6_17
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–1516 (2016)
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–890 (2008)
Moutinho, F., Gomes, L.: Asynchronous-channels within Petri net based GALS distributed embedded systems modeling. IEEE Trans. Industr. Inf. 10(4), 2024–2033 (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 IFIP International Federation for Information Processing
About this paper
Cite this paper
Pasandideh, S., Gomes, L., Maló, P. (2018). Modelling Cyber Physical Social Systems Using Dynamic Time Petri Nets. In: Camarinha-Matos, L., Adu-Kankam, K., Julashokri, M. (eds) Technological Innovation for Resilient Systems. DoCEIS 2018. IFIP Advances in Information and Communication Technology, vol 521. Springer, Cham. https://doi.org/10.1007/978-3-319-78574-5_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-78574-5_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-78573-8
Online ISBN: 978-3-319-78574-5
eBook Packages: Computer ScienceComputer Science (R0)