Current studentsExisting staffContact us
 

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

Simple item page
dc.contributor.authorFloreani, D.J.
dc.contributor.authorBillington, J.
dc.contributor.authorDadej, A.
dc.contributor.conferenceApplication and Theory of Petri Nets 1996: 17th International Conference (24 Jun 1996 - 28 Jun 1996 : Osaka, Japan)
dc.contributor.editorBillington, J.
dc.contributor.editorReisig, W.
dc.date.issued1996
dc.description.abstractA 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.
dc.identifier.citationLecture 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
dc.identifier.doi10.1007/3-540-61363-3_9
dc.identifier.isbn9783540613633
dc.identifier.issn0302-9743
dc.identifier.issn1611-3349
dc.identifier.urihttps://hdl.handle.net/1959.8/46015
dc.language.isoen
dc.publisherSpringer
dc.publisher.placeGermany
dc.relation.fundingCommunications Division, Defence Science and Technology Organisation (DSTO)
dc.relation.ispartofseries1091, 0302-9743
dc.rightsCopyright 1996 Springer
dc.source.urihttps://doi.org/10.1007/3-540-61363-3
dc.subjectcomputer communication networks
dc.subjectcomputer networks
dc.subjectlogic design
dc.titleDesigning and verifying a communications gateway using coloured Petri nets and design/CPN™
dc.typeConference paper
pubs.publication-statusPublished
ror.mmsid9915912488901831

Files

Collections