Browse Source

Merge branch 'compat' of github.com:mehalter/Petri.jl into compat

compat
Micah Halter 2 years ago
parent
commit
f4d08d54c9
  1. 5
      README.md
  2. BIN
      doc/assets/full-logo-dark.png
  3. BIN
      doc/assets/full-logo.png
  4. BIN
      doc/assets/full-logo.xcf
  5. 12
      doc/assets/logo.dot
  6. 39
      doc/assets/logo.svg

5
README.md

@ -1,5 +1,6 @@
# Petri.jl
A Petri net modeling framework for the Julia programming language.
![Petri.jl](doc/assets/full-logo.png)
A Petri net modeling framework for the Julia programming language.
This package uses the ModelingToolkit framework for building embedded DSLs for mathematical computing. We represent Petri nets with `ModelingToolkit.Operation` expressions and then generate code for simulating these networks.

BIN
doc/assets/full-logo-dark.png

After

Width: 721  |  Height: 255  |  Size: 25 KiB

BIN
doc/assets/full-logo.png

After

Width: 721  |  Height: 255  |  Size: 16 KiB

BIN
doc/assets/full-logo.xcf

12
doc/assets/logo.dot

@ -0,0 +1,12 @@
digraph G {
graph [bgcolor="transparent", nodesep=".3", ranksep=".3"];
rankdir=TB
node[shape=square, style=filled]
t [label="", color="forestgreen", fillcolor="mediumseagreen"]
node[shape=circle, style=filled]
l [label="", color="brown3", fillcolor="indianred"]
r [label="", color="mediumorchid3", fillcolor="orchid3"]
{rank=same r, l}
t -> l [dir = back];
t -> r
}

39
doc/assets/logo.svg

@ -0,0 +1,39 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.43.20190912.0211 (20190912.0211)
-->
<!-- Title: G Pages: 1 -->
<svg width="102pt" height="102pt"
viewBox="0.00 0.00 102.00 102.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 98)">
<title>G</title>
<!-- t -->
<g id="node1" class="node">
<title>t</title>
<polygon fill="mediumseagreen" stroke="forestgreen" points="65,-94 29,-94 29,-58 65,-58 65,-94"/>
</g>
<!-- l -->
<g id="node2" class="node">
<title>l</title>
<ellipse fill="indianred" stroke="#cd3333" cx="18" cy="-18" rx="18" ry="18"/>
</g>
<!-- t&#45;&gt;l -->
<g id="edge1" class="edge">
<title>t&#45;&gt;l</title>
<path fill="none" stroke="black" d="M33.4,-48.75C30.88,-43.86 28.31,-38.91 26.02,-34.48"/>
<polygon fill="black" stroke="black" points="30.43,-50.62 38.14,-57.89 36.65,-47.4 30.43,-50.62"/>
</g>
<!-- r -->
<g id="node3" class="node">
<title>r</title>
<ellipse fill="#cd69c9" stroke="#b452cd" cx="76" cy="-18" rx="18" ry="18"/>
</g>
<!-- t&#45;&gt;r -->
<g id="edge2" class="edge">
<title>t&#45;&gt;r</title>
<path fill="none" stroke="black" d="M55.86,-57.89C58.21,-53.35 60.8,-48.34 63.32,-43.49"/>
<polygon fill="black" stroke="black" points="66.49,-44.97 67.98,-34.48 60.28,-41.75 66.49,-44.97"/>
</g>
</g>
</svg>
Loading…
Cancel
Save