Designing and verifying a communications gateway using coloured Petri nets and design/CPN™

  • D. J. Floreani
  • J. Billington
  • A. Dadej
Full Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1091)


A gateway between a packet radio network and B-ISDN is being designed as part of a larger project that aims to bring modem telecommunications services to the Australian Defence Force. The modelling procedure employs Coloured Petri Nets to investigate the gateway architecture and behaviour prior to implementation. Part of the modelling involves the specification of the gateway call control using Coloured Petri Nets and the Design/CPN™ tool. The specification is then checked for correctness by simulation and observation of the Occurrence Graph generated by the Design/CPN™ tool. The form of the refined specification is discussed and future verification tests using the PROTEAN tool outlined


Coloured Petri Nets Gateway Architecture Protocol Modelling 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    G. Juanole, C. Faure, “On Gateway for Interworking through ISDN: Architecture and Formal Modelling with Petri Nets”, IEEE INFOCOM'89, Proceedings of the 8th Annual Joint Conference of the IEEE Computer and Communications Societies, 1989, pg 458–467.Google Scholar
  2. [2]
    G. Juanole, and A. Onodi,“On Gateway Architecture, Formal Modelling and Verification”, Protocol Specification, Testing, and Verification, VI, Elsevier, IFIP 1987.Google Scholar
  3. [3]
    Rainer Handel, Manfred N.Huber, “Integrated Broadband Networks, An introduction to ATM-based networks”, ADDISON-WESLEY, 1991.Google Scholar
  4. [4]
    F. B. Andrews and G. I. Kollar, “The Australian Defence Communications Corporate Plan and its Underpinning Research Program”, NATO Symposium on Military Communication Networks Interoperability and Standards, The Hague, The Netherlands, June'93.Google Scholar
  5. [5]
    D. J. Floreani and A. J. Dadej, “An Architecture for a Distributed Narrowband Packet Radio Network”, Australian Telecommunications Research Journal (ATR), Vol.27 No.2, 1993.Google Scholar
  6. [6]
    A. J. Dadej and D. J. Floreani, “Interconnected Mobile Radio Networks — A Step Towards Integrated Multimedia Military Communications”, Proc. IEEE International Conference on Networks, SICON'93, 6–11 Sept. 1993.Google Scholar
  7. [7]
    Federal Standard, “LPC-10”, US Dept of Defence, MIL-STD-188-133.Google Scholar
  8. [8]
    ITU-TS Q.2931, “B-ISDN Capability Set 1 User-Network Interface Layer 3 Specification”, Dec 1993, Geneva.Google Scholar
  9. [9]
    J. Billington, Formal Specification of Protocols: Protocol Engineering, Encyclopedia of Microcomputers, Vol. 7, pg. 299–314, Marcel Dekker, NY 1991.Google Scholar
  10. [10]
    J. Billington and M. Wilbur-Ham, “Automated Protocol Verification”, Protocol Specification, Testing, and Verification V, Elsevier, IFIP 1986.Google Scholar
  11. [11]
    G. Holzmann, “Protocol Design: Redefining the State of the Art”, IEEE Software, Vol 9, No. 1, Jan 1992.Google Scholar
  12. [12]
    K. Jensen, “Coloured Petri Nets — Basic Concepts, Analysis Methods and Practical Use”, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1992.Google Scholar
  13. [13]
    CCITT/SGX/WP3-1, “Specification and Description Language SDL”, CCITT Recommendations Z.100-Z.104, 1988.Google Scholar
  14. [14]
    CCITT/COMXVIII-R/WP18-4, “ISDN Protocol Reference Model”, CCITT Revised Recommendation 1.320, 1992.Google Scholar
  15. [15]
    D. J. Floreani and A. J. Dadej, “Application of the Stratification Concept to Radio Networks and their Gateways”, to appear in Computer Networks and ISDN Systems, Elseiver.Google Scholar
  16. [16]
    M.T. Rose, “The Open Book: A Practical Perspective on OSI”, Prentice Hall, 1990.Google Scholar
  17. [17]
    G.V. Bochmann “Deriving Protocol Converters for Communications Gateways”, IEEE Transactions on Communications, Vol. 38, No. 9, Sept 1990.Google Scholar
  18. [18]
    G.V Bochmann “Design Principles for Communication Gateways”, IEEE Journal on Selected Areas in Communications, Vol. 8, No. 1, Jan 1990.Google Scholar
  19. [19]
    IS 8807, “Information Processing Systems, Open Systems Interconnection, LOTOS, A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour ”, ISO, 1989.Google Scholar
  20. [20]
    CCITT/SGX1/WP4-3, “Baseline Text for the Harmonised Signalling Requirements ”, Geneva, March 1992.Google Scholar
  21. [21]
    CCITTQ.931, “ISDN User-Network Interface Layer 3 Specification for Basic Call Control”, CCITTRe-commendation Q.931, Fascicle, Blue Book, Melbourne 1988.Google Scholar
  22. [22]
    CCITT Recommendation X.213, Blue Book, Melbourne 1988.Google Scholar
  23. [23]
    Design/CPN™ Manuals, Meta Software Corporation.Google Scholar
  24. [24]
    Information processing systems — Open Systems Interconnection — Specification of Abstract Syntax Notation One (ASN.1), International Standard ISO-8824.Google Scholar
  25. [25]
    A. Wikstrom, “Functional Programming using Standard ML”, Prentice Hall International Series in Computer Science, 1987.Google Scholar
  26. [26]
    J. Billington, G. Wheeler, M. Wilbur-Ham, “PROTEAN: A High-level Petri Net Tool for the Specification and Verification of Communication Protocols”, IEEE Transactions on Software Engineering, Vol 14, No. 3, March 1988, pp 301–316.Google Scholar
  27. [27]
    W. Barrett, R. Bates, D. Gustafson, J. Couch “Compiler Construction — theory and practice”, second edition, Science Research Associates, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • D. J. Floreani
    • 1
    • 2
  • J. Billington
    • 1
  • A. Dadej
    • 1
  1. 1.Telecommunications System Engineering Centre (TSEC), Institute for Telecommunications Research (ITR)University of South Australia (U-SA)Australia
  2. 2.Communications DivisionDefence Science and Technology Organisation (DSTO)AdelaideAustralia

Personalised recommendations