Skip to main content
SpringerLink
Log in
Book cover

Proceedings of the First International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’16) pp 339–348Cite as

Temporal Coloured Petri Nets as a Tool for Modelling of Complex Dynamic Systems

  • Conference paper
  • First Online:

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 450))

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.

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   169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   219.99
Price excludes VAT (USA)
  • Compact, lightweight 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. 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)

    MATH  Google Scholar 

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

    Google Scholar 

  3. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, vol. 1–3. Springer, Heidelberg (1997)

    Google Scholar 

  4. Szpyrka, M., Szmuc, T.: Integrated approach to modeling and analysis using RTCPnets. IFIP Int. Fed. Inf. Process. 227, 115–120 (2006)

    Article  Google Scholar 

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

    Google Scholar 

  6. Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 11(26), 832–843 (1983)

    Article  MATH  Google Scholar 

  7. Murata, T.: Petri Nets. Properties, analysis and applications. In: Proceedings of the IEEE, vol. 77, No. 4, pp. 541–580 (1989)

    Google Scholar 

  8. Pnueli, A.: The temporal logic of program. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS), pp. 46–57 (1977)

    Google Scholar 

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

    Article  MATH  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  12. Gossman, J.: Introduction to Model/View/ViewModel pattern for building WPF apps. http://blogs.msdn.com/b/johngossman/archive/2005/10/08/478683.aspx

Download references

Author information

Authors and Affiliations

  1. National Research University “Moscow Power Engineering Institute”, Krasnokazarmennaya 14, 111250, Moscow, Russia

    Alexander P. Eremeev & Yury I. Korolev

Authors
  1. Alexander P. Eremeev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yury I. Korolev
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alexander P. Eremeev .

Editor information

Editors and Affiliations

  1. Sci N/w for Innova and Research Exc, Machine Intelligence Research Labs, Auburn, Washington, USA

    Ajith Abraham

  2. Rostov State Transport University, Rostov-on-Don, Russia

    Sergey Kovalev

  3. Bauman Moscow State Technical University, Moscow, Russia

    Valery Tarassov

  4. Institute of Mathematics, VŠB-Technical University of Ostrava, Ostrava, Czech Republic

    Václav Snášel

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation