Abstract
This paper describes the application of high level Petri nets to program closely coupled multiprocessor (CCMp) systems. To use CCMp systems efficiently a special language based on high level nets and Concurrent Pascal was developed which allows an easy transformation of net specifications into programs, thus preserving their modular structure. The language was expanded with common objects in order to program the access to shared data efficiently. The implementation of the language and especially the synchronization of the concurrent token players is discussed.
Most of this work was done as part of a Ph.D. thesis, which was carried out at the Rogowski Institute, Aachen Technical University, Aachen, F.R. Germany (see /Hart88/).
Preview
Unable to display preview. Download preview PDF.
7 Literature
Andrews, G.R.: ‘The Distributed Language SR — Mechanisms, Design and Implementation', Software — Practice and Experience Vol. 12 pp. 719–753, 1982
Andrews, G.R.; Schneider, F.B.: ‘Concepts and Notations for Concurrent Programming'. ACM Computing Surveys Vol. 15, pp. 1–43, 1983
Bigou, J. M.; Courvoisier; M.; Demmou, H.; Desclaux, C.; Pascal, J.C.; Valette, R.: ‘A Methodology of Specification and Implementation of distributed discrete Control Systems', IEEE Proc. IECON 85 San Francisco pp.231–236, IEEE, 1985
Brauer, W.: ‘How to play the Token Game', Petri Net Newsletter 16 pp. 3–13, GI, 1984
Brinch Hansen, P.: ‘Operating System Principles', Prentice Hall Inc., Englewood Cliffs, N.J., USA, 1973
Brinch Hansen, P.: ‘The Programming Language Concurrent Pascal', IEEE Transactions on Software Engineering Vol. 1 No.2, 1975
Brinch Hansen, P.: ‘The Solo Operating System', Software — Praxis and Experience, Vol.6 pp.139–200, 1976
Bruno, G.; Marchetto, G.: ‘Process translatable Petri Nets for the Rapid Prototyping of Process Control Systems', IEEE Transactions on Software Engineering SE-12 pp. 346–357, 1986
Colom, J.M.; Silva, M.; Villaroel, J.L.: ‘On software implementation of Petri nets and coloured Petri nets using high level concurrent languages', Proc. 7. European Workshop on Application and Theory of Petri Nets, pp. 207–241, Oxford 1986
Dahmen, N.: ‘FORCASD — An Evaluation Net Oriented Program System for Modelling and Simulation', IFB 71 Proceedings 1. European Simulation Congress ESC 83, 1983
United States Department of Defense: ‘The Programming Language Ada Reference Manual', LNCS 106, Springer Verlag, 1981
Hartung, G.; Milde, J.: ‘Organisation eines M5PS-Teilsystems', Angewandte Informatik 87 8/9 pp. 328–340, Vieweg Verlag (in German)
Hartung, G.: ‘Programmierung einer Klasse von Multiprozessorsystemen mit hoeheren Petri-Netzen', Ph.D. thesis, Aachen Technical University A. Huethig Verlag Heidelberg 1988
Heinrich, A.; Ameling, W.: ‘Parallelrechner mit hoeheren Petri-Netzen programmieren', VMEbus 2.1 pp.28–32, Franzis Verlag Muenchen
Jensen, K.: ‘High Level Petri Nets', Applications and Theory of Petri Nets, IFB 66 pp. 166–180, Springer Verlag 1982
Le Mer, E.: ‘MEDOC: A Methodology for Designing and Evaluating large-scale Real-time Systems', Proc. National Computer Conference 1982 pp.263–271, IEEE
Milde, J.; Krings, L.; Ameling, W.: ‘Realization of synchronization tools and their efficiency in the multiprocessorsystem M5PS', 10th IMACS world congress, Montreal 1982, pp. 333–335
Milde, J.: ‘Ueberlegungen zur Organisation verteilter Mehrrechnersysteme', Ph.D.thesis, Aachen Technical University, A.Huethig Verlag Heidelberg 1988(in German)
Moeller-Nielsen, P.; Staunstrup, J.: ‘Common Class — a tool for programming the access to shared data', Interner Bericht, Comp. Science Department, Aarhus University, Aarhus, Denmark, 1983
Nelson, R.A.; Haibt, L.M.; Sheridan, P.B.: ‘Casting Petri Nets into Programs', IEEE Transactions on Software Engineering SE 9 pp. 590–602, IEEE 1983
Richter, G.: ‘A note on side-conditions and inhibitor arcs', Petri net newsletter 21 pp.29–37, 1985
Vautherin,J.: ‘Parallel System Specifications with coloured Petri nets and algebraic abstract data types', 7. European Workshop on Application and Theory of Petri nets, Oxford, England, 1986
Winkler, P.: ‘Anforderungsbeschreibung mit Netzmodellen', Automatisierungstechnische Praxis (ATP) vol. 28 No. 1 pp.32–39 and No. 2, pp. 94–98, 1986 (in German)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hartung, G. (1988). Programming a closely coupled multiprocessor system with high level petri nets. In: Rozenberg, G. (eds) Advances in Petri Nets 1988. APN 1987. Lecture Notes in Computer Science, vol 340. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50580-6_28
Download citation
DOI: https://doi.org/10.1007/3-540-50580-6_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50580-8
Online ISBN: 978-3-540-46059-6
eBook Packages: Springer Book Archive