Reference no: EM132512097

CSCI910 Software Requirements, Specifications and Formal Methods - University of Wollongong

Part 1. Objective:

The purpose of this assignment is:

The objective of this assignment is to practice the usage of Petri Net

Part 2. Problem Description:
Use a Petri Net to model the following two indicators for controlling cars across the street or turn to another street in an intersection based on the following requirements.

There is an intersection between Flinders Street and Bourke Street near North Wollongong Train Station. There are two traffic lights installed on Flinders Street to control the cars of the street to drive across the intersection, stop, or turn right/left to Burke Street. The statuses of the traffic lights are shown from Figure (a) to Figure (e). The transition sequence of the statuses is:

Figure (a) →Figure (b) →Figure (c) →Figure (d) →Figure (e) →Figure (a)

Please construct a Petri Net to model the two traffic lights on Flinders Street. You need to put the initial markings in your Petri Net to let two traffic lights be in the status of Figure (a).

Descriptions of Status (a) and (b) are as follows. You can easily get the meaning of other three statuses.

(a) Cars from both directions in Flinders Street cannot across the intersection. Cars from the southern direction in Flinders Street cannot turn right to Burke Street. Cars from the northern direction in Flinders Street cannot turn left to Burke Street.

(b) Cars from both directions in Flinders Street can drive through the interaction; cars from northern direction of Flinders street can turn left to Burke Street; and cars from southern direction cannot turn right to Burke Street.

Attachment:- Software Requirement.rar