Professional Documents
Culture Documents
• Objective / Motivations
• SACoRAS application
• Engineer-oriented tool
generating the
the engineer controlled model SACoRAS
CPN Tools
simulating
Cr 1`r1++2`r2
1`r2
1`c12++1`c11 r 1`c21
p01 C1 C2 p02
X1 X2
1`r2
t11 t21
1`r1 C1={c11,c12}
X1 X2 X2
C2={c21}
p11 C1 C2 p22
Cr={r1,r2}
X1 X1 X2
X2 X2 X1 variable
1`r1++2`r2 t12 t22 t23 defined on
2`r2
X1
X2 X2 variable
p12 C1 1`r1
defined on C2
C2 p23
X1
X2
t13
t24
Y Admissibility
– Computing the admissible behaviours
generating a graph Rc of admissible behaviours
An inadmissible marking is :
* either a forbidden marking (specified as “undesired”),
* or computed
- from which we are not able to avoid reaching an inadmissible
marking
- unreachable from initial marking
t11,c11 M8
M9
t24,c21
M0
t11,c11 t23,c21 t22,c21
t11,c12 t21,c21 M3
M1 t13,c11
t22,c21
t22,c21 t11,c12
M2
t13,c12 t21,c21 t11,c11
t21,c21
t21,c21 t12,c11
t12,c11
t12,c12
M5 t23,c21
M7 M6 t22,c21
t23,c21 M10
M4
t11,c11
25/10/2005 CPN Workshop 2005, Aarhus 15
Example : Rc and Ω
M8
Admissibility graph Rc M0
t24,c21
t11,c12 t21,c21 M3
M1 t13,c11
M2
t13,c12 t21,c21 t11,c11
t21,c21 t12,c11
t12,c12
M5 t23,c21
t23,c21 M7 M6
M4
t11,c11
The set of state transitions that must be disabled is :
Ω={(M4,t22(c21)) ,(M8,t11(c11)), (M6,t22(c21)) ,(M8,t11(c12))}
25/10/2005 CPN Workshop 2005, Aarhus 16
Generating the active controller
C(CM) = ⊗⊗C
i =1 1
num ⊗ C
j=1
num
- for AT :
∀t∈CFT, W-(AT,t)= W+(AT,t)=t
25/10/2005 CPN Workshop 2005, Aarhus 19
Generating the active controller - Example
1`t22
DM Cdm p22
(X11,X12,X13,X21,X22,X23,Y1,Y2)
(X,Xt) X2
Xt X
AT A_In CM Ccm t22
Cft
X2
(X,Xt)
(X11,X12,X13,X21,X22-1,X23+1,Y1,Y2)
p23
Xt AS Cdm Y
(X,Xt) M0(CM)=<2,0,0,1,0,0,2,1>
M0(AT)= t11+t22
A_Out
M0(DM)= <<1, 1, 0, 0, 1, 0, 0,1>, t22> +
[X<>Y]
<<2, 0, 0, 0, 0, 1, 1,1>, t11>
X, Y variables defined on C(CM)
Xt variable defined on C(AT)
25/10/2005 CPN Workshop 2005, Aarhus 20
SACoRAS Architecture
•RAS specification( description of process behaviour and resources management)
User level •Control specification (set of forbidden states, set of uncontrollable transitions)
Ω: set of
Control forbidden
SACoRAS level specification Admissible state
Editor Controller
transitions
graph Synthesis
generator
O.G
Plant model
(CPN format) Controlled
CPN model
t t'
(0,0)
(0,0) ComputingPriority(X,Y)
(Xnum,0)
(Xnum,Ynum)
A_In Priority A_Out
(Xnum-1,0)
[Xnum<>0] [Ynum<>0]
(Xnum,Ynum-1)