Documente Academic
Documente Profesional
Documente Cultură
Question 1: (8 marks)
Given a Drilling Machine with its Conveyor in the Figure shown below.
After observing the Figure and the specifications above please answer the
following:
Question: Generate the Control algorithm in SIPN of the plant according to the
informal specifications provided.
Hint: think of the concurrent places in the SIPN.
Answer:
P1 Ready
ω(P1)=(0,0,0,0)
WP at the beginning
SB (T1) = E 2.4
Conveyor on
P2
ω(P2)=(1,0,0,0)
WP on working position
SB (T2) = E 2.1
Wait
P5
ω(P5)=(−,0,0,−)
2s
Time is out
SB (T4) = 1
Drill go up
P6 ω(P6)=(−,0,1,−)
P7 Conveyor on
ω(P2)=(1,0,0,0)
After observing the Figure and the specifications above please answer the
following:
Answer
a:
(each marking ½ , each transition ½ point. This gives 3,5. Outputs inside
the marking ½ point. This gives a sum of 1,5 this gives a sum of 5 marks)
Philadelphia University Student Name:
Faculty of Engineering Student Number:
b:
(Correct answer one point, each marking one point 3 markings. This
gives 4 marks)
ΩN(SIPN) = Ω(m1) + Ω(m2) + Ω(m3)
= (-, 0,1) + (1, 0, 1)+ (c, 0, 1)
= ((- + 1 + c), (0 + 0 + 0), (1 + 1 + 1))
= (c,0,1)
c:
(see below sum of 3 marks)
Deadlock free since no deadlock (0.5 Mark)
Livelock free only the whole SIPN is live (0.5 Mark)
Live since all transitions are fireable (0.5 Mark)
No conflicts (0.5 Mark)
Reversible since initial marking reachable again (1 mark)