Credit points: 15

Subject outline

Its aim is to impart to students knowledge of formal methods of developing communication protocols, including, specification, verification, performance analysis of communication protocols using Petri Nets. Main topics include Communication protocol development methodology, communication modelling and analysis, protocol verification, formal specifications, Formal Description Techniques, Extended Finite State Machine, Numerical Petri Nets, Coloured Petri Nets, reachability analysis, verification methodology, protocol properties, verification tool, protocol performance analysis, performance analysis tools, performance index.

FacultyFaculty of Science, Tech & Engineering

Credit points15

Subject Co-ordinatorRichard Lai

Available to Study Abroad StudentsYes

Subject year levelYear Level 5 - Masters

Exchange StudentsYes

Subject particulars

Subject rules

Prerequisites CSE2NEF


Incompatible subjects CSE42PNE, CSE4PNE

Equivalent subjectsN/A

Special conditionsN/A

Learning resources


Resource TypeTitleResource RequirementAuthor and YearPublisher
ReadingsCommunication Protocol Specification and VerificationPreliminaryLai, R and Jirachiefpannata, AREFERENCE TEXT - A COPY IS AVAILABLE IN THE LIBRARY

Subject options

Select to view your study options…

Start date between: and    Key dates

Melbourne, 2014, Semester 1, Day


Online enrolmentYes

Maximum enrolment sizeN/A

Enrolment information

Subject Instance Co-ordinatorRichard Lai

Class requirements

Lecture Week: 10 - 22
Two 1.0 hours lecture per week on weekdays during the day from week 10 to week 22 and delivered via face-to-face.

Laboratory Class Week: 10 - 22
One 2.0 hours laboratory class per week on weekdays during the day from week 10 to week 22 and delivered via face-to-face.


Assessment elementComments%
One 3-hour examination60
Problem solving questions10