91 lines
1.9 KiB
HTML
91 lines
1.9 KiB
HTML
|
<!DOCTYPE html>
|
||
|
|
<html lang="en">
|
||
|
|
|
||
|
|
<head>
|
||
|
|
<meta charset="UTF-8">
|
||
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
||
|
|
<title>Document</title>
|
||
|
|
<style>
|
||
|
|
body,
|
||
|
|
html,
|
||
|
|
svg {
|
||
|
|
height: 100%;
|
||
|
|
width: 100%;
|
||
|
|
margin: 0;
|
||
|
|
padding: 0;
|
||
|
|
overflow: hidden;
|
||
|
|
font-family: 'Comic Sans MS', 'Chalkboard SE', 'Comic Neue', sans-serif;
|
||
|
|
}
|
||
|
|
|
||
|
|
svg {
|
||
|
|
user-select: none;
|
||
|
|
}
|
||
|
|
|
||
|
|
svg {
|
||
|
|
font-size: 1rem;
|
||
|
|
}
|
||
|
|
|
||
|
|
.PNode circle {
|
||
|
|
fill: #f1c40f;
|
||
|
|
stroke: #3498db;
|
||
|
|
stroke-width: 0.5rem;
|
||
|
|
}
|
||
|
|
|
||
|
|
.PNode circle {
|
||
|
|
fill: #f1c40f;
|
||
|
|
stroke: #3498db;
|
||
|
|
stroke-width: 0.5rem;
|
||
|
|
}
|
||
|
|
|
||
|
|
.PNode .circleText {
|
||
|
|
text-anchor: middle;
|
||
|
|
fill: black;
|
||
|
|
}
|
||
|
|
|
||
|
|
.PNode .aboveText {
|
||
|
|
text-anchor: middle;
|
||
|
|
fill: black;
|
||
|
|
}
|
||
|
|
|
||
|
|
.PNode .rectText {
|
||
|
|
text-anchor: middle;
|
||
|
|
fill: black;
|
||
|
|
}
|
||
|
|
|
||
|
|
.PTransition rect {
|
||
|
|
fill: #c0392b;
|
||
|
|
stroke: #34495e;
|
||
|
|
stroke-width: 0.2rem;
|
||
|
|
}
|
||
|
|
|
||
|
|
.PTransition.canFire rect{
|
||
|
|
fill: #27ae60;
|
||
|
|
}
|
||
|
|
|
||
|
|
.PEdge line {
|
||
|
|
stroke: gray;
|
||
|
|
stroke-width: 4;
|
||
|
|
}
|
||
|
|
|
||
|
|
#arrowhead {
|
||
|
|
z-index: -1;
|
||
|
|
fill: gray;
|
||
|
|
stroke-width: 2;
|
||
|
|
}
|
||
|
|
</style>
|
||
|
|
</head>
|
||
|
|
|
||
|
|
<body>
|
||
|
|
<svg viewBox="0 0 500 200" xmlns="http://www.w3.org/2000/svg">
|
||
|
|
<defs>
|
||
|
|
<marker id="arrowhead" markerWidth="5" markerHeight="3.5" refX="2.5" refY="1.75" orient="auto">
|
||
|
|
<polygon points="0 0, 5 1.75, 0 3.5" />
|
||
|
|
</marker>
|
||
|
|
</defs>
|
||
|
|
</svg>
|
||
|
|
<script>const svgNamespace = 'http://www.w3.org/2000/svg';</script>
|
||
|
|
<script src="graphics.js"></script>
|
||
|
|
<script src="main.js"></script>
|
||
|
|
</body>
|
||
|
|
|
||
|
|
</html>
|