-
Notifications
You must be signed in to change notification settings - Fork 1
/
combination_lock.py
82 lines (66 loc) · 3.77 KB
/
combination_lock.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
#!/usr/bin/env python3
# -*- coding: utf-8 -*-
"""
Created on Wed Apr 3 15:25:36 2019
@author: simsim
"""
from system import *
# =============================================================================
# #combination lock automaton abaab
# def create(model):
# plant = process("plant",["g0","g1","g2","g3","g4","g5"],[],[],"g0",update_states = "g5")
# environment = process("environment",["s0","s1","s2","s3","s4","s5","s6"],[],[],"s0")
#
# pve = plant_environment("syst",plant,environment,model = model)
#
# pve.add_transition("a",["plant","environment"],[["g0","g1","g2","g3","g4"],["s0","s1","s2","s3","s4","s6"]],[["g1","g2","g3","g4","g5"],["s1","s6","s3","s4","s6","s6"]])
# pve.add_transition("b",["plant","environment"],[["g0","g1","g2","g3","g4"],["s0","s1","s2","s3","s4","s6"]],[["g1","g2","g3","g4","g5"],["s6","s2","s6","s6","s5","s6"]])
# pve.add_transition("c",["plant","environment"],[["g5"],["s5"]],[["g5"],["s5"]])
#
# pve.create_RNN()
# pve.reinitialize()
# return pve
# =============================================================================
# =============================================================================
# #combination lock automaton abaabb
# def create(model):
# plant = process("plant",["g0","g1","g2","g3","g4","g5","g6"],[],[],"g0",update_states = "g5")
# environment = process("environment",["s0","s1","s2","s3","s4","s5","s6","s7"],[],[],"s0")
#
# pve = plant_environment("syst",plant,environment,model = model)
#
# pve.add_transition("a",["plant","environment"],[["g0","g1","g2","g3","g4","g5"],["s0","s1","s2","s3","s4","s5","s7"]],[["g1","g2","g3","g4","g5","g6"],["s1","s7","s3","s4","s7","s7","s7"]])
# pve.add_transition("b",["plant","environment"],[["g0","g1","g2","g3","g4","g5"],["s0","s1","s2","s3","s4","s5","s7"]],[["g1","g2","g3","g4","g5","g6"],["s7","s2","s7","s7","s5","s6","s7"]])
# pve.add_transition("c",["plant","environment"],[["g6"],["s6"]],[["g6"],["s6"]])
#
# pve.create_RNN()
# pve.reinitialize()
# return pve
# =============================================================================
# =============================================================================
# #combination lock automaton abba
# def create(model):
# plant = process("plant",["g0","g1","g2","g3","g4"],[],[],"g0", update_states = ["g4"])
# environment = process("environment",["s0","s1","s2","s3","s4","s5"],[],[],"s0")
#
# pve = plant_environment("syst",plant,environment,model = model)
#
# pve.add_transition("a",["plant","environment"],[["g0","g1","g2","g3"],["s0","s1","s2","s3","s5"]],[["g1","g2","g3","g4"],["s1","s5","s5","s4","s5"]])
# pve.add_transition("b",["plant","environment"],[["g0","g1","g2","g3"],["s0","s1","s2","s3","s5"]],[["g1","g2","g3","g4"],["s5","s2","s3","s5","s5"]])
# pve.add_transition("c",["plant","environment"],[["g4"],["s4"]],[["g4"],["s4"]])
#
# pve.create_RNN()
# pve.reinitialize()
# return pve
# =============================================================================
#combination lock automaton aba
def create(model):
plant = process("plant",["g0","g1","g2","g3"],[],[],"g0",update_states = ["g3"])
environment = process("environment",["s0","s1","s2","s3","s4"],[],[],"s0")
pve = plant_environment("syst",plant,environment,model = model)
pve.add_transition("a",["plant","environment"],[["g0","g1","g2"],["s0","s1","s2","s4"]],[["g1","g2","g3"],["s1","s4","s3","s4"]])
pve.add_transition("b",["plant","environment"],[["g0","g1","g2"],["s0","s1","s2","s4"]],[["g1","g2","g3"],["s4","s2","s4","s4"]])
pve.add_transition("c",["plant","environment"],[["g3"],["s3"]],[["g3"],["s3"]])
pve.create_RNN()
pve.reinitialize()
return pve