-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathindex.html
37 lines (37 loc) · 1.42 KB
/
index.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
<!DOCTYPE html>
<html>
<head>
<title>PetriNet Simulator</title>
<link rel="shortcut icon" href="doc/favicon.ico">
<link rel="stylesheet" href="doc/style.css">
</head>
<body>
<canvas id="petrinetCanvas"></canvas>
<script src="js/assertion.js"></script>
<script src="js/coord.js"></script>
<script src="js/util.js"></script>
<script src="js/frame.js"></script>
<script src="js/form.js"></script>
<script src="js/baseform.js"></script>
<script src="js/prefform.js"></script>
<script src="js/splash.js"></script>
<script src="js/help.js"></script>
<script src="js/graphics.js"></script>
<script src="js/event.js"></script>
<script src="js/object.js"></script>
<script src="js/textbox.js"></script>
<script src="js/saveload.js"></script>
<script src="js/mouse.js"></script>
<script src="js/flow.js"></script>
<script src="js/place.js"></script>
<script src="js/transition.js"></script>
<script src="js/petrinet.js"></script>
<script src="js/label.js"></script>
<script src="js/button.js"></script>
<script src="js/buttonbar.js"></script>
<script src="js/state.js"></script>
<script src="js/status.js"></script>
<script src="js/control.js"></script>
<script src="js/main.js"></script>
</body>
</html>