Abstract
In this paper, we consider the existing problems of colour stochastic Petri nets (CSPN) for modelling of systems of interconnected applications - services. The main issues that arise when modelling service applications and their interactions are as follows: support of composite types and indexed arrays, describing operations on top of them. It is also important to note the problem of using global time in model combinations – it is hard to describe different levels of abstraction. For example, to combine the network behaviour such as delays, duplication, and packet loss and its effects on business logic. To solve all of these problems, we propose a new model of a service-oriented Petri net (SOPN). It is built based on the stochastic Petri net (SPN) by adding some restrictions and extension components. We added tools for creating data structures, fundamental types such as integers, rational numbers, ordered arrays. The model presented in this paper provides the toolkit for creating complex atomic operations in terms of model-controlled time. Meanwhile, for all the new components and features transition to the basic SPN model is supported.
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
References
El Akchioui, N., Dib, F., Lefebvre, D., Ncir, N., Sebbane, S., Leclercq, E.: About the fluifidication of SPN by CPN for complex dynamical systems: critical regions. Institute of Electrical and Electronics Engineers Inc. (2020)
Gischer, J.: Shuffle languages, petri nets, and context-sensitive grammars. Commun. ACM 24(9), 597–605 (1981)
Haas, P.J.: Stochastic Petri Nets: Modelling, Stability Simulation. Springer, London (2006). https://doi.org/10.1007/b97265
Iakushkin, O.: Intellectual scaling in a distributed cloud application architecture: a message classification algorithm, pp. 634–637. Institute of Electrical and Electronics Engineers Inc. (2015)
Iakushkin, O.: Cloud middleware combining the functionalities of message passing and scaling control, vol. 108. EDP Sciences (2016)
Iakushkin, O., Grishkin, V.: Unification of control in P2P communication middleware: towards complex messaging patterns, vol. 1648. American Institute of Physics Inc. (2015)
Iakushkin, O., Sedova, O., Valery, G.: Application control and horizontal scaling in modern cloud middleware. In: Gavrilova, M.L., Tan, C.J.K. (eds.) Transactions on Computational Science XXVII. LNCS, vol. 9570, pp. 81–96. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-662-50412-3_6
Iakushkin, O., Shichkina, Y., Sedova, O.: Petri nets for modelling of message passing middleware in cloud computing environments. In: Gervasi, O., et al. (eds.) ICCSA 2016. LNCS, vol. 9787, pp. 390–402. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42108-7_30
Khetkarn, K., Vatanawood, W.: Formal modeling of priority queue using generalized stochastic petri nets, pp. 39–43. Association for Computing Machinery (2019)
Kordon, F., Linard, A., Paviot-Adet, E.: Optimized colored nets unfolding. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 339–355. Springer, Heidelberg (2006). https://doi.org/10.1007/11888116_25
Liu, F., Heiner, M., Yang, M.: An efficient method for unfolding colored petri nets. In: Proceedings of the 2012 Winter Simulation Conference (WSC), pp. 1–12. IEEE (2012)
Ma, M., Xihou, S.J., Huang, J.G.: Study on hierarchical modeling and performance evaluation method about parallel automatic test system. J. Syst. Simul. 22(12), 2779–2783+2787 (2010)
Ma, T., Pang, S., Zhang, W., Hao, S.: Virtual machine based on genetic algorithm used in time and power oriented cloud computing task scheduling. Intell. Autom. Soft Comput. 25(3), 605–613 (2019)
Acknowledgement
The authors would like to acknowledge the Reviewers for the valuable recommendations that helped in the improvement of this paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Iakushkin, O. (2020). Service-Oriented Petri Net Model. In: Gervasi, O., et al. Computational Science and Its Applications – ICCSA 2020. ICCSA 2020. Lecture Notes in Computer Science(), vol 12254. Springer, Cham. https://doi.org/10.1007/978-3-030-58817-5_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-58817-5_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-58816-8
Online ISBN: 978-3-030-58817-5
eBook Packages: Computer ScienceComputer Science (R0)