summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tpm/petri-nets.tpm
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tpm/petri-nets.tpm')
-rw-r--r--Master/texmf-dist/tpm/petri-nets.tpm43
1 files changed, 43 insertions, 0 deletions
diff --git a/Master/texmf-dist/tpm/petri-nets.tpm b/Master/texmf-dist/tpm/petri-nets.tpm
new file mode 100644
index 00000000000..7bb3cd91209
--- /dev/null
+++ b/Master/texmf-dist/tpm/petri-nets.tpm
@@ -0,0 +1,43 @@
+<!DOCTYPE rdf:RDF SYSTEM "../../Tools/tpm.dtd">
+<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:TPM="http://texlive.dante.de/">
+ <rdf:Description about="http://texlive.dante.de/texlive/Package/petri-nets.zip">
+ <TPM:Name>petri-nets</TPM:Name>
+ <TPM:Type>Package</TPM:Type>
+ <TPM:Date>2002/10/13 13:18:00</TPM:Date>
+ <TPM:Version></TPM:Version>
+ <TPM:Creator>rahtz</TPM:Creator>
+ <TPM:Title>TeX/LaTeX packages for drawing Petri nets</TPM:Title>
+ <TPM:Description>
+Petri-nets is a set of TeX/LaTeX packages about Petri nets and
+related models. One package allows to draw Petri-nets in
+PostScript documents. One other defines macros related to PBC,
+M-nets and B(PN) models. A last package just gathers together
+the two previous.
+[description copied from TeX Catalogue]
+ </TPM:Description>
+ <TPM:Author>Franck Pommereau</TPM:Author>
+ <TPM:Size>286283</TPM:Size>
+ <TPM:Build/>
+ <TPM:RunFiles size="22803">
+texmf-dist/tex/latex/petri-nets/pndraw.sty
+texmf-dist/tex/latex/petri-nets/pndraw.tex
+texmf-dist/tex/latex/petri-nets/pnets.sty
+texmf-dist/tex/latex/petri-nets/pnets.tex
+texmf-dist/tex/latex/petri-nets/pntext.sty
+texmf-dist/tex/latex/petri-nets/pntext.tex
+texmf-dist/tex/latex/petri-nets/pnversion.tex
+texmf-dist/tpm/petri-nets.tpm
+ </TPM:RunFiles>
+ <TPM:DocFiles size="242838">
+texmf-dist/doc/latex/petri-nets/README
+texmf-dist/doc/latex/petri-nets/pndoc.pdf
+texmf-dist/doc/latex/petri-nets/pndoc.tex
+ </TPM:DocFiles>
+ <TPM:SourceFiles size="20642">
+texmf-dist/source/latex/petri-nets/COPYING
+texmf-dist/source/latex/petri-nets/pn2pdf
+ </TPM:SourceFiles>
+ <TPM:Provides>Package/petri-nets</TPM:Provides>
+ </rdf:Description>
+</rdf:RDF>
+