Skip to main content
SpringerLink
Log in
Book cover

Doctoral Conference on Computing, Electrical and Industrial Systems

DoCEIS 2018: Technological Innovation for Resilient Systems pp 81–89Cite as

Modelling Cyber Physical Social Systems Using Dynamic Time Petri Nets

  • Conference paper
  • First Online:

Part of the book series: IFIP Advances in Information and Communication Technology ((IFIPAICT,volume 521))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. 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)

    Google Scholar 

  2. Wang, F.Y.: The emergence of intelligent enterprises: from CPS to CPSS. IEEE Intell. Syst. 25(4), 85–88 (2010)

    Article  Google Scholar 

  3. 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)

    Article  Google Scholar 

  4. 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

    MATH  Google Scholar 

  5. 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)

    Article  Google Scholar 

  6. 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)

    Article  Google Scholar 

  7. 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

    Google Scholar 

  8. 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

  9. 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)

    MATH  Google Scholar 

  10. 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

    Google Scholar 

  11. 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)

    Google Scholar 

  12. 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)

    Google Scholar 

  13. 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

    Chapter  Google Scholar 

  14. 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)

    Article  Google Scholar 

  15. 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)

    Google Scholar 

  16. Moutinho, F., Gomes, L.: Asynchronous-channels within Petri net based GALS distributed embedded systems modeling. IEEE Trans. Industr. Inf. 10(4), 2024–2033 (2014)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Science and Technology, NOVA University of Lisbon, Campus da Caparica, 2829-516, Monte Caparica, Portugal

    Shabnam Pasandideh, Luis Gomes & Pedro Maló

  2. Centre of Technology and Systems - CTS, UNINOVA, Campus da Caparica, 2829-516, Monte Caparica, Portugal

    Shabnam Pasandideh, Luis Gomes & Pedro Maló

Authors
  1. Shabnam Pasandideh
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luis Gomes
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Pedro Maló
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shabnam Pasandideh .

Editor information

Editors and Affiliations

  1. NOVA University of Lisbon, Monte da Caparica, Portugal

    Luis M. Camarinha-Matos

  2. NOVA University of Lisbon, Monte da Caparica, Portugal

    Kankam O. Adu-Kankam

  3. NOVA University of Lisbon, Monte da Caparica, Portugal

    Mohammad Julashokri

Rights and permissions

Reprints and permissions

Copyright information

© 2018 IFIP International Federation for Information Processing

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics

Societies and partnerships

Search

Navigation