VFSM type: CMD(predefined vfsm)

Object name: Cmd:DiningPh:01

Properties
Name	Value
Type	DiningPh

Object name: Cmd:DiningPh:02

Properties
Name	Value
Type	DiningPh

Object name: Cmd:DiningPh:03

Properties
Name	Value
Type	DiningPh

Object name: Cmd:DiningPh:04

Properties
Name	Value
Type	DiningPh

Object name: Cmd:DiningPh:05

Properties
Name	Value
Type	DiningPh

VFSM type: TI(predefined vfsm)

Object name: Ti:Eating:01

Properties
Name	Value
Const	3
Clock	sec

Object name: Ti:Eating:02

Properties
Name	Value
Const	1
Clock	sec

Object name: Ti:Eating:03

Properties
Name	Value
Const	7
Clock	sec

Object name: Ti:Eating:04

Properties
Name	Value
Const	4
Clock	sec

Object name: Ti:Eating:05

Properties
Name	Value
Const	10
Clock	sec

Object name: Ti:Thinking:01

Properties
Name	Value
Const	5
Clock	sec

Object name: Ti:Thinking:02

Properties
Name	Value
Const	6
Clock	sec

Object name: Ti:Thinking:03

Properties
Name	Value
Const	15
Clock	sec

Object name: Ti:Thinking:04

Properties
Name	Value
Const	9
Clock	sec

Object name: Ti:Thinking:05

Properties
Name	Value
Const	8
Clock	sec

VFSM type: DO(predefined vfsm)

Object name: Do:Philospher:01

Object name: Do:Philospher:02

Object name: Do:Philospher:03

Object name: Do:Philospher:04

Object name: Do:Philospher:05

VFSM type: XDA(predefined vfsm)

Object name: Xda:Fork:01

Properties
Name	Value
Size	0

Object name: Xda:Fork:02

Properties
Name	Value
Size	0

Object name: Xda:Fork:03

Properties
Name	Value
Size	0

Object name: Xda:Fork:04

Properties
Name	Value
Size	0

Object name: Xda:Fork:05

Properties
Name	Value
Size	0

VFSM type: DiningPh(user vfsm)

Prefix: DPH

Object name: DiningPh:01

Properties
Name	Value
MyCmd	Cmd:DiningPh:01
EatingTimer	Ti:Eating:01
ThinkingTimer	Ti:Thinking:01
Philosopher	Do:Philospher:01
ForkL	Xda:Fork:01
ForkR	Xda:Fork:05

Object name: DiningPh:02

Properties
Name	Value
MyCmd	Cmd:DiningPh:02
EatingTimer	Ti:Eating:02
ThinkingTimer	Ti:Thinking:02
Philosopher	Do:Philospher:02
ForkL	Xda:Fork:02
ForkR	Xda:Fork:01

Object name: DiningPh:03

Properties
Name	Value
MyCmd	Cmd:DiningPh:03
EatingTimer	Ti:Eating:03
ThinkingTimer	Ti:Thinking:03
Philosopher	Do:Philospher:03
ForkL	Xda:Fork:03
ForkR	Xda:Fork:02

Object name: DiningPh:04

Properties
Name	Value
MyCmd	Cmd:DiningPh:04
EatingTimer	Ti:Eating:04
ThinkingTimer	Ti:Thinking:04
Philosopher	Do:Philospher:04
ForkL	Xda:Fork:04
ForkR	Xda:Fork:03

Object name: DiningPh:05

Properties
Name	Value
MyCmd	Cmd:DiningPh:05
EatingTimer	Ti:Eating:05
ThinkingTimer	Ti:Thinking:05
Philosopher	Do:Philospher:05
ForkL	Xda:Fork:05
ForkR	Xda:Fork:04

IOid name: MyCmd (type: CMD-IN)

IOid name: EatingTimer (type: TI)

-->Virtual Input: Eating_OVER (OVER)

-->Virtual Output: EatingTimer_ResetStart (ResetStart)

-->Virtual Output: EatingTimer_Stop (Stop)

IOid name: ThinkingTimer (type: TI)

-->Virtual Input: Thinking_OVER (OVER)

-->Virtual Output: ThinkingTimer_ResetStart (ResetStart)

-->Virtual Output: ThinkingTimer_Stop (Stop)

IOid name: Philosopher (type: DO)

-->Virtual Output: Philosopher_EatingOrHungry (Low)

-->Virtual Output: Philosopher_Thinking (High)

IOid name: ForkL (type: XDA)

-->Virtual Input: ForkL_Free (1)

-->Virtual Output: Free_ForkL (1)

-->Virtual Output: Take_ForkL (2)

IOid name: ForkR (type: XDA)

-->Virtual Input: ForkR_Free (1)

-->Virtual Output: Free_ForkR (1)

-->Virtual Output: Take_ForkR (2)

State transition table, state ' Init ':

Init	EntryAction:
Init	ExitAction:
Hungry	always

State transition table, state ' Hungry ':

Hungry	EntryAction:	Philosopher_EatingOrHungry
Hungry	ExitAction:
Eating	ForkL_Free and ForkR_Free

State transition table, state ' Eating ':

Eating	EntryAction:	Take_ForkL Take_ForkR Philosopher_EatingOrHungry EatingTimer_ResetStart
Eating	ExitAction:	EatingTimer_Stop
Thinking	Eating_OVER

State transition table, state ' Thinking ':

Thinking	EntryAction:	Free_ForkL Free_ForkR Philosopher_Thinking ThinkingTimer_ResetStart
Thinking	ExitAction:	ThinkingTimer_Stop
Hungry	Thinking_OVER

Total number of states: 4

VFSM type: DO8(unit)

Prefix: DOU

Object name: DO8:01

Properties
Name	Value
CommPort	0
PhysAddr	3
Do0	Do:Philospher:01
Do1	Do:Philospher:02
Do2	Do:Philospher:03
Do3	Do:Philospher:04
Do4	Do:Philospher:05
Do5
Do6
Do7

IOid name: Do0 (type: DO)

IOid name: Do1 (type: DO)

IOid name: Do2 (type: DO)

IOid name: Do3 (type: DO)

IOid name: Do4 (type: DO)

IOid name: Do5 (type: DO)

IOid name: Do6 (type: DO)

IOid name: Do7 (type: DO)