Added simple-petri-net per issue #1542

quicklisp · quicklisp · commit 628f0702f2e6 · 2018-09-05T09:13:13.000-04:00
diff --git a/projects/simple-petri-net/source.txt b/projects/simple-petri-net/source.txt
@@ -0,0 +1 @@
+git https://gitlab.com/porky11/simple-petri-net.git

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+git https://gitlab.com/porky11/simple-petri-net.git`