CSCI910_Ass_2_20201.pdf
CSCI910 Autumn 2020

Assignment #2

Due: by Sunday 3rd May, 22:00

Marks: 10 marks

1. Objective:

The purpose of this assignment is:

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

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).Flinders ST

(a) Bourke ST

Flinders ST

(b)

Bourke ST

North

South

East West

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.

Bourke ST

Flinders ST

(c)

Bourke ST Bourke ST

Flinders ST

(d)

Flinders ST

(e)

3. Submission Method:

Students must submit their final work of this assignment by a soft copy though the Moodle

site.