2023-06-22 12:41:11 +02:00
|
|
|
<!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>
|
2023-06-22 17:47:04 +02:00
|
|
|
<script src="index.js"></script>
|
2023-06-22 12:41:11 +02:00
|
|
|
</body>
|
|
|
|
|
|
|
|
|
|
</html>
|
