Design and programming of interfaces for monetic applications using petri nets

  • Theodor Hildebrand
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 188)


The common methodology that SLIGOS applies to the implementation of communication systems relies on : multiprocessor architecture, formal specifications and direct implementation. The communication systems are composed of interfaces which interconnect point of sale terminals, department stores and banks with credit card applications.

This paper illustrates a design and programming technique of communication systems which makes extensive use of Petri Nets. Net representations at different levels of design are applied to the different stages of project realization: In the first stage Channel/Agency Nets are used for the design of a system configuration, which consists of several independent components. In the second stage specific Place/Transition Nets are used for the specification of protocols and services between the system components. In the third stage the interface components are specified by Place/Transition Nets and then directly implemented as net programs. We demonstrate this method through an example: the realization of an electronic authorization service for credit cards. This application had been developed in a short time and has operated successfully for several years. Advantages and shortcomings of the integration of Petri Nets on each level of the project realization are discussed.


Credit Card Communication Protocol Standard Interface Application Module Project Realization 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. /1/.
    C. BAGES: "OPLINE: Sommaire des Releases des Produits OPA-Outils pour Protocoles d'Acheminement" SLIGOS, Puteaux, France, 1983.Google Scholar
  2. /2/.
    W. BRAUER (ed.): "Net theory and Applications" Lecture Notes in Computer Science 84, SPRINGER, Berlin, 1980.Google Scholar
  3. /3/.
    G. W. BRAMS: "Reseaux de Petri: Theorie et Pratique" MASSON, Paris, 1983.Google Scholar
  4. /4/.
    G. DAUVERGNE: "Produits ITBG-Création d'une version back-up" Note DTM/TCOM/83/74, SLIGOS, Puteaux, France, 1983.Google Scholar
  5. /5/.
    L. DEVINAST: "ITISNA, Rapport de Stage DEA Systemes Informatiques" Institut de Programmation, Université Pierre et Marie Curie (Paris VI), Paris, 1984.Google Scholar
  6. /6/.
    M. DIAZ: "Modelling and Analysis of Communications and Cooperation Protocols Using Petri Net Based Models" Computer Networks, vol 6, 1982, pp 419–441.CrossRefGoogle Scholar
  7. /7/.
    P. DUPONT: "VALITEL, les Commerçants et l'Autorisation de Paiement par VIDEOTEX" Convention Informatique, Paris, 1982.Google Scholar
  8. /8/.
    C. GIRAULT and P. ESTRAILLIER: "Petri Nets Specification of Virtual Ring Protocols" In: Applications and Theory of Petri Nets, Informatik Fachberichte 66, SPRINGER, Berlin, 1983.Google Scholar
  9. /9/.
    O. HERZOG, W. REISIG and R. VALK: "Petri Netze: Ein Abriss ihrer Grundlagen and Anwendungen" Informatik-Spektrum 7, 1984, pp 20–27.Google Scholar
  10. /10/.
    T. HILDEBRAND: "Methodes de Réalisation d'Interfaces dans le Réseau Privé AVISO à SLIGOS" Journées Internationales de l'Informatique et de l'Automatisme, Paris, 19–22 june 1984.Google Scholar
  11. /11/.
    IBM: "IBM 3270 Information Display System" Component Description, GA27-2749-7.Google Scholar
  12. /12/.
    ISO: "Information Processing System — Open System Interconnection, Transport Protocol Specification" ISO/TC-97/SC-16/WG6, TOKYO, june 1982.Google Scholar
  13. /13/.
    R. JONES and T. HILDEBRAND: "AVISO Operations and Future Developments of Interface Design Using Petri Nets" In: Report of the 9th ISIS User Meeting, Italcable, Roma, 1984.Google Scholar
  14. /14/.
    G. JUANOLE, B. ALGAYRES and J. DUFAU: "Protocol Design and Modelling" 4th European Workshop on Applications and Theory of Petri Nets, Toulouse, 26–29 september 1983.Google Scholar
  15. /15/.
    D. MOISSON and T. HILDEBRAND: "PAS: Protocole d'Acheminement SLIGOS" Note DTM/TCOM/83/05, SLIGOS, Puteaux, France, 1983.Google Scholar
  16. /16/.
    JL. MORARD: "Packet-switched data networks. An Introduction to TYMSHARE's Advanced Communications Technology" TYMSHARE NETWORK SYSTEMS CONSULTING, St Cloud, France, 1982.Google Scholar
  17. /17/.
    A. PIGAL: "AVISO, Acheminements Variés et Intelligents pour Systèmes Opérationnels" SLIGOS, Puteaux, France, 1982.Google Scholar
  18. /18/.
    G. RICHTER: "Netzmodelle für die Bürokommunikation" Informatik — Spektrum 6, 1983, pp 210–220 and 7, 1984, pp 28–40.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Theodor Hildebrand
    • 1
  1. 1.Department Techniques et MethodesSLIGOSPuteauxFrance

Personalised recommendations