Skip to main content

Hierarchical Petri Net for the CPDev Virtual Machine with Communications

  • Conference paper
Computer Networks (CN 2009)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 39))

Included in the following conference series:

Abstract

Hierarchical Coloured Petri nets are used to model interaction of CPDev virtual machine with communication subsystem of a small distributed control and measurement system. The machine executes control programs and implements communications. Both vertical and horizontal communication are modelled, as shown by the example of the distributed system with new SMC programmable controller. The model can be used to analyse correlation between the machine cycle time and communication load and to determine optimal parameters of the system.

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

Access this chapter

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Rzońca, D., Sadolewski, J., Stec, A., Świder, Z., Trybus, B., Trybus, L.: Mini-DCS System Programming in IEC 61131-3 Structured Text. Journal of Automation, Mobile Robotics & Intelligent Systems 2(3), 48–54 (2008)

    Google Scholar 

  2. IEC 61131-3 standard: Programmable Controllers Part 3, Programming Languages. IEC (2003)

    Google Scholar 

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

    Book  MATH  Google Scholar 

  4. Modicon MODBUS Protocol Reference Guide. MODICON, Inc., IAS, Massachusetts (1996), http://www.modbus.org/docs/PI_MBUS_300.pdf

  5. Rzońca, D., Trybus, B.: Timed CPN model of SMC controller communication subsystem. In: Wȩgrzyn, S., Czachórski, T., Kwiecień, A. (eds.) Contemporary Aspects of Computer Networks, WKŁ, Warszawa, pp. 203–212 (2008)

    Google Scholar 

  6. Rzońca, D., Trybus, B.: Application of coloured Petri net for design of SMC controller communication subsystem. Studia Informatica 29(4B)(81), 15–26 (2008)

    Google Scholar 

  7. CPN Tools: Computer Tool for Coloured Petri Nets, http://www.daimi.au.dk/cpntools

  8. Krok, K., Rzońca, D., Sadolewski, J.: Application of I/O boards in the CPDev engineering environment. Pomiary Automatyka Robotyka, 9–11 (February 2009) (in Polish)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rzońca, D., Trybus, B. (2009). Hierarchical Petri Net for the CPDev Virtual Machine with Communications. In: Kwiecień, A., Gaj, P., Stera, P. (eds) Computer Networks. CN 2009. Communications in Computer and Information Science, vol 39. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02671-3_31

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-02671-3_31

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-02670-6

  • Online ISBN: 978-3-642-02671-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics