Designing and verifying a communications gateway using coloured Petri nets and design/CPN™
Date
1996
Authors
Floreani, D.J.
Billington, J.
Dadej, A.
Editors
Billington, J.
Reisig, W.
Reisig, W.
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Conference paper
Citation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1996 / Billington, J., Reisig, W. (ed./s), pp.153-171
Statement of Responsibility
Conference Name
Application and Theory of Petri Nets 1996: 17th International Conference (24 Jun 1996 - 28 Jun 1996 : Osaka, Japan)
Abstract
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.
School/Discipline
Dissertation Note
Provenance
Description
Access Status
Rights
Copyright 1996 Springer