Skip to main content
SpringerLink
Log in

Embedded system description using Petri nets

  • Chapter
  • First Online:
Embedded Systems

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 284))

Abstract

By a number of examples it will be demonstrated how Petri nets can be applied to design and to analyze embedded systems. Principles of Petri nets as a design method are discussed. Various application areas are glanced, and some relationships to other methods are sketched.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Krzysztof R. Apt: Logics and Models of Concurrent Systems. Springer-Verlag (1985)

    Google Scholar 

  2. W. Brauer, W. Reisig, G. Rozenberg: Advanced Course on Petri Nets. Lecture Notes in Computer Science, Springer-Verlag to appear 1987

    Google Scholar 

  3. Michel Diaz: Modeling and Analysis of Communication and Cooperation Protocols using Petri Net Based Models. Tutorial Paper, Proc. of the IFIP WG 6.1. Second Int. Workshop on Protocol Specification, Testing, and Verification, Idyllwild-CA, May 1982, C. Sunshine (ed.) North Holland (1982) also: Computer Networks, vol. 6 no 6 (1982)

    Google Scholar 

  4. Edsger W. Dijkstra: Hierarchical Ordering of Sequential Processes. Acta Informatica, 1, S. 115–138 (1971)

    Article  Google Scholar 

  5. Stefan Drees et al: Bibliography on Petri Nets. Gesellschaft für Mathematik und Datenverarbeitung (GMD), St. Augustin (Germany) internal report 222 (1986)

    Google Scholar 

  6. Hartmann J. Genrich: Net Theory and Application. Information Processing 86, H.J. Kugler (ed.), North Holland Publ. Comp., IFIP (1986) pp 823–831.

    Google Scholar 

  7. Carlos A. Heuser, Gernot Richter: On the Relationship between Conceptual Schemata and Integrity Constraints on Databases. in: R. Meersman, T.B. Steel (eds). Proceedings of the IFIP Working Conference on Database Semantics, North Holland Publ. Comp., Amsterdam (1985)

    Google Scholar 

  8. Eike Jessen, Rüdiger Valk: Rechensysteme, Grundlagen der Modellbildung. Springer-Verlag (1986)

    Google Scholar 

  9. M. Kamath, N. Viswanadham: Application of Petri net based models in the modeling and analysis of flexible manufactoring systems. IEEE Conf. on Robotics and Automation, San Francisco p. 312–317 (1986)

    Google Scholar 

  10. Werner E. Kluge, Kurt Lautenbach: The Orderly Resolution of Memory Access Conflicts among Competing Channel Process. IEEE Transactions of Computers, Vol. C-31 pp 194–207 (1982)

    Google Scholar 

  11. Werner Kluge: An Approach to Computer System Modeling Based on Petri Nets. in: Methodologies for Computer System Design, W.K. Giloi and B.D. Shriver (Editors) North-Holland Publ. Comp. IFIP, pp 143–160 (1985)

    Google Scholar 

  12. Tadao Murata et al: A Petri net based controller for flexible and maintainable sequence control and its applications in factory automation. IEEE transactions on industrial electronics, Vol. IE-33 no 1, Febr. 1986

    Google Scholar 

  13. Horst Oberquelle: On Models and Modelling in Human-Computer Co-Operation. in: van der Veer et al (eds). Readings in Cognitive Ergonomics-Mind and Computers. LNCS 178 pp 26–43, Springer-Verlag (1984)

    Google Scholar 

  14. C.A. Petri: Interpretations of Net Theory. Gesellschaft für Mathematik und Datenverarbeitung, Internal Report 75-07, Second, revised edition 1976

    Google Scholar 

  15. W. Reisig: System Design Using Petri Nets. Informatik-Fachberichte 74: Requirements Engineering. Hommel, Krönig (eds) Springer-Verlag, pp. 29–41 (1983)

    Google Scholar 

  16. Wolfgang Reisig: Petri Nets. Springer-Verlag (1985)

    Google Scholar 

  17. Wolfgang Reisig: Systementwurf mit Netzen. Springer-Verlag (1985) english translation in preparation.

    Google Scholar 

  18. Wolfgang Reisig: Petri Nets with Individual Tokens. Theoretical Computer Science 41, pp 185–213 (1985)

    Article  Google Scholar 

  19. Gernot Richter, Klaus Voss: Towards a Comprehensive Office Model Integrating Information and Resources. in: [Rozenberg], Vol. 222

    Google Scholar 

  20. G. Richter: Netzmodelle für Bürokommunikation. Informatik-Spektrum, Nr. 6, S. 210–220 (1983) and Nr. 7, S. 28–40 (1984)

    Google Scholar 

  21. G. Rozenberg: Advances in Petri Nets. Lecture Notes in Computer Science Vol. 188(1984), Vol. 222 (1985). (1986) to appear

    Google Scholar 

  22. D.T. Ross, K.E. Schoman: Structured Analysis for Requirement Definition. IEEE-SE, Jan 1977

    Google Scholar 

  23. Eckehard Schnieder: Prozessinformatik. Vieweg-Verlag (Braunschweig) (1986)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Gesellschaft für Mathematik und Datenverarbeitung, Institut für Methodische Grundlagen, 5205, Sankt Augustin, Germany

    Wolfgang Reisig

Authors
  1. Wolfgang Reisig
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

A. Kündig R. E. Bührer J. Dähler

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Reisig, W. (1987). Embedded system description using Petri nets. In: Kündig, A., Bührer, R.E., Dähler, J. (eds) Embedded Systems. Lecture Notes in Computer Science, vol 284. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0016346

Download citation

  • DOI: https://doi.org/10.1007/BFb0016346

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18581-9

  • Online ISBN: 978-3-540-48021-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation