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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
Krzysztof R. Apt: Logics and Models of Concurrent Systems. Springer-Verlag (1985)
W. Brauer, W. Reisig, G. Rozenberg: Advanced Course on Petri Nets. Lecture Notes in Computer Science, Springer-Verlag to appear 1987
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)
Edsger W. Dijkstra: Hierarchical Ordering of Sequential Processes. Acta Informatica, 1, S. 115–138 (1971)
Stefan Drees et al: Bibliography on Petri Nets. Gesellschaft für Mathematik und Datenverarbeitung (GMD), St. Augustin (Germany) internal report 222 (1986)
Hartmann J. Genrich: Net Theory and Application. Information Processing 86, H.J. Kugler (ed.), North Holland Publ. Comp., IFIP (1986) pp 823–831.
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)
Eike Jessen, Rüdiger Valk: Rechensysteme, Grundlagen der Modellbildung. Springer-Verlag (1986)
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)
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)
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)
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
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)
C.A. Petri: Interpretations of Net Theory. Gesellschaft für Mathematik und Datenverarbeitung, Internal Report 75-07, Second, revised edition 1976
W. Reisig: System Design Using Petri Nets. Informatik-Fachberichte 74: Requirements Engineering. Hommel, Krönig (eds) Springer-Verlag, pp. 29–41 (1983)
Wolfgang Reisig: Petri Nets. Springer-Verlag (1985)
Wolfgang Reisig: Systementwurf mit Netzen. Springer-Verlag (1985) english translation in preparation.
Wolfgang Reisig: Petri Nets with Individual Tokens. Theoretical Computer Science 41, pp 185–213 (1985)
Gernot Richter, Klaus Voss: Towards a Comprehensive Office Model Integrating Information and Resources. in: [Rozenberg], Vol. 222
G. Richter: Netzmodelle für Bürokommunikation. Informatik-Spektrum, Nr. 6, S. 210–220 (1983) and Nr. 7, S. 28–40 (1984)
G. Rozenberg: Advances in Petri Nets. Lecture Notes in Computer Science Vol. 188(1984), Vol. 222 (1985). (1986) to appear
D.T. Ross, K.E. Schoman: Structured Analysis for Requirement Definition. IEEE-SE, Jan 1977
Eckehard Schnieder: Prozessinformatik. Vieweg-Verlag (Braunschweig) (1986)
Author information
Authors and Affiliations
Editor information
Rights 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