Programming a closely coupled multiprocessor system with high level petri nets

  • Georg Hartung
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 340)


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.


Application of petri nets to programming language Interpretation of nets 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7 Literature

  1. /Andr82/.
    Andrews, G.R.: ‘The Distributed Language SR — Mechanisms, Design and Implementation', Software — Practice and Experience Vol. 12 pp. 719–753, 1982Google Scholar
  2. /Andr83/.
    Andrews, G.R.; Schneider, F.B.: ‘Concepts and Notations for Concurrent Programming'. ACM Computing Surveys Vol. 15, pp. 1–43, 1983Google Scholar
  3. /Bigo85/.
    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, 1985Google Scholar
  4. /Brau84/.
    Brauer, W.: ‘How to play the Token Game', Petri Net Newsletter 16 pp. 3–13, GI, 1984Google Scholar
  5. /BrHa73/.
    Brinch Hansen, P.: ‘Operating System Principles', Prentice Hall Inc., Englewood Cliffs, N.J., USA, 1973Google Scholar
  6. /BrHa75/.
    Brinch Hansen, P.: ‘The Programming Language Concurrent Pascal', IEEE Transactions on Software Engineering Vol. 1 No.2, 1975Google Scholar
  7. /BrHa76/.
    Brinch Hansen, P.: ‘The Solo Operating System', Software — Praxis and Experience, Vol.6 pp.139–200, 1976Google Scholar
  8. /Brun86/.
    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, 1986Google Scholar
  9. /Colo86/.
    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 1986Google Scholar
  10. /Dahm83/.
    Dahmen, N.: ‘FORCASD — An Evaluation Net Oriented Program System for Modelling and Simulation', IFB 71 Proceedings 1. European Simulation Congress ESC 83, 1983Google Scholar
  11. /Dod 81/.
    United States Department of Defense: ‘The Programming Language Ada Reference Manual', LNCS 106, Springer Verlag, 1981Google Scholar
  12. /Hart87/.
    Hartung, G.; Milde, J.: ‘Organisation eines M5PS-Teilsystems', Angewandte Informatik 87 8/9 pp. 328–340, Vieweg Verlag (in German)Google Scholar
  13. /Hart88/.
    Hartung, G.: ‘Programmierung einer Klasse von Multiprozessorsystemen mit hoeheren Petri-Netzen', Ph.D. thesis, Aachen Technical University A. Huethig Verlag Heidelberg 1988Google Scholar
  14. /Hein88/.
    Heinrich, A.; Ameling, W.: ‘Parallelrechner mit hoeheren Petri-Netzen programmieren', VMEbus 2.1 pp.28–32, Franzis Verlag MuenchenGoogle Scholar
  15. /Jens82/.
    Jensen, K.: ‘High Level Petri Nets', Applications and Theory of Petri Nets, IFB 66 pp. 166–180, Springer Verlag 1982Google Scholar
  16. /LeMe82/.
    Le Mer, E.: ‘MEDOC: A Methodology for Designing and Evaluating large-scale Real-time Systems', Proc. National Computer Conference 1982 pp.263–271, IEEEGoogle Scholar
  17. /Mild82/.
    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–335Google Scholar
  18. /Mild85/.
    Milde, J.: ‘Ueberlegungen zur Organisation verteilter Mehrrechnersysteme', Ph.D.thesis, Aachen Technical University, A.Huethig Verlag Heidelberg 1988(in German)Google Scholar
  19. /Moel83/.
    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, 1983Google Scholar
  20. /Nels83/.
    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 1983Google Scholar
  21. /Rich85/.
    Richter, G.: ‘A note on side-conditions and inhibitor arcs', Petri net newsletter 21 pp.29–37, 1985Google Scholar
  22. /Vaut86/.
    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, 1986Google Scholar
  23. /Wink86/.
    Winkler, P.: ‘Anforderungsbeschreibung mit Netzmodellen', Automatisierungstechnische Praxis (ATP) vol. 28 No. 1 pp.32–39 and No. 2, pp. 94–98, 1986 (in German)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Georg Hartung
    • 1
  1. 1.ABB Asea Brown Boveri Corporate Research HeidelbergHeidelbergF.R. Germany

Personalised recommendations