Abstract
This paper considers the problem of using Petri nets to model and analyse the processes in complex dynamic systems such as intelligent decision support systems and real-time systems. A new coloured Petri net subclass is proposed—real-time coloured Petri net with Allen temporal logic support: formal definitions and an example of a simple model are given, analysis and verification methods for the subclass are considered.
The work was supported by the Ministry of Education and Science of the Russian Federation, RFBR and Foundation for Assistance to Small Innovative Enterprises.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Vagin, V.N., Eremeev, A.P.: Some basic principles of construction of real-time intelligent decision support systems. J. Comput. Syst. Sci. Int. 6, 953–961 (2001)
Eremeev, A.P., Korolev, Y.I.: Realization of real-time intelligent systems on the basis of Petri Nets with support of temporal dependencies (in Russian). J. Softw. Syst. 3(103), 88–94 (2013)
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, vol. 1–3. Springer, Heidelberg (1997)
Szpyrka, M., Szmuc, T.: Integrated approach to modeling and analysis using RTCPnets. IFIP Int. Fed. Inf. Process. 227, 115–120 (2006)
Eremeev, A., Troickiy, V.: Temporal dependencies representation models in intelligent decision support systems (in Russian). In: Proceeding of the Russian Academy of Sciences. Theory and Control Systems, vol 5, pp 75–88 (2003)
Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 11(26), 832–843 (1983)
Murata, T.: Petri Nets. Properties, analysis and applications. In: Proceedings of the IEEE, vol. 77, No. 4, pp. 541–580 (1989)
Pnueli, A.: The temporal logic of program. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS), pp. 46–57 (1977)
Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8(2), 244–263 (1986)
Clarke, E.M., Emerson, E.A.: Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. In: LNCS, vol. 131, pp. 52–71. Springer (1982)
Eremeev, A.P., Korolev, Y.I.: Temporal models based on Petri Nets and intelligent systems development (in Russian). J. Inform. Models Anal. 2(4), 336–344 (2013)
Gossman, J.: Introduction to Model/View/ViewModel pattern for building WPF apps. http://blogs.msdn.com/b/johngossman/archive/2005/10/08/478683.aspx
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Eremeev, A.P., Korolev, Y.I. (2016). Temporal Coloured Petri Nets as a Tool for Modelling of Complex Dynamic Systems. In: Abraham, A., Kovalev, S., Tarassov, V., Snášel, V. (eds) Proceedings of the First International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’16). Advances in Intelligent Systems and Computing, vol 450. Springer, Cham. https://doi.org/10.1007/978-3-319-33609-1_31
Download citation
DOI: https://doi.org/10.1007/978-3-319-33609-1_31
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-33608-4
Online ISBN: 978-3-319-33609-1
eBook Packages: EngineeringEngineering (R0)