index.html
3.85 KB
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 type="text/css" href="r/css/bootstrap-theme.css" rel="stylesheet"/>
<link type="text/css" href="r/css/bootstrap.css" rel="stylesheet"/>
<link type="text/css" href="r/css/docs.css" rel="stylesheet"/>
<link type="text/css" href="r/simulator.css" rel="stylesheet"/>
<link type="text/css" href="r/model.css" rel="stylesheet"/>
<script src="r/jquery.min.js"></script>
<script src="r/js/bootstrap.min.js"></script>
<script src="r/jquery.periodic.js"></script>
<script src="r/js/bootstrap.file-input.js"></script>
<script src="r/d3.min.js"></script>
<script src="r/js/petri.js"></script>
<script src="r/simulator.js"></script>
<style>
path { stroke: steelblue;
stroke-width: 2;
fill: none; }
line { stroke: black; }
text { font-family: Arial;
font-size: 9pt; }
</style>
</head>
<body>
<header class="navbar navbar-static-top">
<nav class="navbar navbar-default" role="navigation">
<div class="container-fluid">
<div class="navbar-header">
<button type="button" class="navbar-toggle"
data-toggle="collapse"
data-target="#bs-example-navbar-collapse-6">
<span class="sr-only">Toggle navigation</span>
</button>
<a class="navbar-brand" href="#">Simulation SNAKES</a>
</div>
<div class="collapse navbar-collapse"
id="bs-example-navbar-collapse-6">
<ul class="nav navbar-nav" id="nav_sim">
<li><a id="ui-reset">Reset Simulation</a></li>
<li><a id="ui-quit">Stop Simulation</a></li>
<li><a id="ui-help">Help</a></li>
</ul>
</div><!-- /.navbar-collapse -->
</div>
</nav>
</header>
<!-- model to be simulated -->
%(model)s
<!-- information about the simulator -->
<div aria-hidden="true" aria-labelledby="myModalLabel" class="modal fade"
id="about" role="dialog" tabindex="-1">
<div class="modal-dialog">
<div class="modal-content">
<div class="modal-header">
<button aria-hidden="true" class="close"
data-dismiss="modal" type="button">x</button>
<h4 class="modal-title" id="myModalLabel">Petri Net</h4>
</div>
<div class="modal-body">
<p>
<span class="title">Andy simulator is part of the
SNAKES toolkit</span><br />
(C) 2014 Franck Pommereau
</p>
<p>
<a href="http://www.ibisc.univ-evry.fr/~fpommereau/SNAKES"
target="_blank">SNAKES homepage</a>
</p>
</div>
<div class="modal-footer">
<button class="btn btn-default" data-dismiss="modal"
type="button">Close</button>
</div>
</div>
</div>
</div>
<script>
$(document).ready(function(){
$.simisc({ "nav":{ "about": { "text": "About",
"attr": { "id":"ui-about",
"data-toggle": "modal",
"data-target": "#about"
} } },
"graph": { "color": { "y":"red",
"x":"blue" } } });
});
</script>
</body>
</html>