Abstract
The conceiving of the Cyber-Physical Systems (CPSs) requires models that can sustain the specification, the synthesis, the design, the verification, the implementation and the testing. The newly introduced models consisting of Object Enhanced Time Petri Nets (OETPNs) can be successfully used to meet this requirement. Changing the unique kind of tokens in the classical Petri Nets (PNs) with the software passive or active objects opens the possibility to describe the object dynamic instantiation and distributed concurrent tasks that are moved through a computer net with a dynamical structure. The moving tasks can be loaded with agents missions obtaining thus a so called dynamic multi-agent system. The need to move Java compiled codes to another computer, in the absence of the source classes at the destination, is fulfilled by changing the problem into one with tasks instantiated with different parameters.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Nuzzo, P., Sangiovanny-Vincentelly, A., Bresolin, D., Geretti, L., Villa, T.: Methodology with contracts and related tools for the design of Cyber-physical systems. Proc. IEEE, 103(11) (2015). https://doi.org/10.1109/JPROC.2015.2453253
Sapiecha, K., Ciopinski, L., Deniziak, S.: Synthesis of self-adaptive supervisors of multi-task real-time object-oriented systems using developmental genetic programming. In: Recent Advances in Computational Optimization. Studies in Computational Intelligence, vol. 610. Springer (2016). https://doi.org/10.1007/978-3-319-21133-6-4
Zhu, Q., Bushanell, L., Basar, T.: Resilient distributed control of multi-agent systems. Lecture Notes in Control and Information Sciences, vol. 449. Springer (2013). https://doi.org/10.1007/978-3-319-01159-2-16
Calvaresi, D., Appoggetti, K., Lustrissimini, L., Marinoni, M., Sernani, P., Dragoni, A.F., Schumacher, M.: Multi-agent systems negotiation protocols for cyber-physical systems: results from a systematic literature review. In: International Conference on Agents and Artificial Intelligence, Madeira (2018)
Silva, J.R., Miralles, J.A.S.P., Salmon, A.O., Gonzalez del Foyo, P.M.: Introducing object-oriented in unified Petri net approach. In: ABCM Symposium Series in Mechatronics, vol. 4, pp. 451–459 (2010)
Letia, T.S., Kilyen, A.O.: Unified enhanced time Petri net models for development of the reactive applications. In: Proceedings of EBCCSP: Madeira, IEEE Xplore (2017). https://doi.org/10.1109/EBCCSP.2017.8022831
Letia, T.S., Al-Janabi, D.: Object enhanced time Petri net models. In: Proceedings of IEEE Conference on AQTR 2018, Cluj-Napoca, May 2018. (to be appeared)
Lakos, C.: From coloured Petri nets to object Petri nets. LNCS, vol. 935, pp. 278–297 (1995)
Buchs, D., Guelfi, N.: A formal specification framework for object-oriented distributed systems. IEEE Trans. Soft. Eng. 26(7), 635–652 (2000)
Kohler-Bussmeier, M.: A survey of decidability results for elementary object systems. In: Farwer, B. (ed.) LAM 2010, vol. 1(1), pp. 18-35 (2014)
Valk, R.: Object Petri nets using the nets-within-nets paradigm. In: ACPN 2003. LNCS, vol. 3098, pp. 819–848. Springer (2004)
Miyamota, T., Kumagai, S.: A survey of objects-oriented Petri nets and analysis methods. IEEE Trans. Fund. Electron. Comput. Sci. (2015). https://doi.org/10.1093/ietfec/e88-a.11.2964
Koci, R., Janousek, V.: Object oriented Petri nets in software and deployment. IJSSST 10(3), 31–43 (2013)
Lamazova, I.: Nested Petri nets-a formalism for specification and verification of multi-agent distributed systems (2000)
Kohler, M., Rolke, H.: Properties of object Petri nets. In: Cortadella, J., Reisig, W., (eds.) International Conference on Application and Theory of Petri Nets 2004. LNCS, vol. 3099, pp. 278–297. Springer (2004)
Vale de Azevedo Guerra, F., Abrantes de Figueiredo, J.C., Guerrero, D.D.S.: Protocol performance analysis using a timed extension for an object oriented Petri net language. Electronic Notes in Theoretical Computer Science, vol. 130, pp. 187–209. Elsevier (2005)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Letia, T.S., Al-Janabi, D. (2019). Conceiving the Cyber-Physical Systems with Object Enhanced Time Petri Nets. In: Machado, J., Soares, F., Veiga, G. (eds) Innovation, Engineering and Entrepreneurship. HELIX 2018. Lecture Notes in Electrical Engineering, vol 505. Springer, Cham. https://doi.org/10.1007/978-3-319-91334-6_38
Download citation
DOI: https://doi.org/10.1007/978-3-319-91334-6_38
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-91333-9
Online ISBN: 978-3-319-91334-6
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)