-
Notifications
You must be signed in to change notification settings - Fork 0
/
Model.html
91 lines (87 loc) · 3.2 KB
/
Model.html
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
82
83
84
85
86
87
88
89
90
91
<!DOCTYPE html>
<html>
<head>
<link rel="stylesheet" href="css/index.css">
<!-- <link rel="stylesheet" href="reset.css"> -->
<title>Petri-Net Model</title>
<script src="js/model.js"></script>
<script src="js/raphael-min.js"></script>
<style>
button{
background-color: black;
width: 15rem;
height: 28px;
cursor: pointer;
color: white;
}
input[type='range'] {
overflow: hidden;
-webkit-appearance: none;
background-color: #000000;
color: white;
height: 15px;
width: 15rem;
}
input[type='range']::-webkit-slider-thumb {
width: 10px;
-webkit-appearance: none;
height: 10px;
cursor: ew-resize;
background: #ffffff;
}
</style>
</head>
<body style="margin: 0px;">
<header class="navbar" style="position: relative;">
<img src="Image/bklogo.png" class="bku-symbol">
<div class="navbar--wrapper--text">
<h2 style="font-family: 'Comic Sans MS', cursive, sans-serif;color: white;font-weight: bold;">RENAME</h2>
</div>
<div class="navbar--wrapper">
<a href="About.html">Team</a>
</div>
<div class="navbar--wrapper">
<a href="Theory.html">Theory</a>
</div>
<div class="navbar--wrapper">
<a href="Model.html">Model</a>
</div>
<div class="navbar--wrapper">
<a class="activated" href="index.html">Intro</a>
</div>
</header>
<div class="option" style="background-color: rgb(255, 255, 255); z-index: 10 !important; float: right;">
<button value="Run" id="Run" onclick="mainProcessFlow()">Run</button>
<button value="Token" id="addToken" onclick="token_add()">Add token</button>
<button value="Token" id="removeToken" onclick="token_remove()">Remove token</button>
<input id="changeSpeed" type="range" value="1000" min="0" max="2000" onchange="changeSpeed(this.value)"><br>
</div>
<div id="process" style="padding:0em;"></div>
<script >
var PAPER_WIDTH = window.screen.width;
var PAPER_HEIGHT = window.screen.height - 300;
console.log(PAPER_HEIGHT,PAPER_WIDTH);
var paper = Raphael("process", PAPER_WIDTH, PAPER_HEIGHT);
mainFunction(paper);
</script>
<footer>
<div class="address">
<h1>Ho Chi Minh City University of Technology</h1>
<h3>Vietnam National University, Ho Chi Minh City</h3>
<h3>Copyright © 2021</h3>
</div>
<div class="description">
<h1>Faculty of Computer Science and Engineering</h1>
<h3 class="teacher">Instructor: Nguyen An Khuong</h1>
<h3 class="teacher">Instructor: Nguyen Tien Thinh</h1>
</div>
<div class="contact">
<h1>Contact us!</h1>
<h3>Team Rename</h3>
<a href="About.html">
<h1>Here</h1>
</a>
</div>
</footer>
</body>
</html>