The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...

The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.

RPM resource texlive-petri-nets

Petri-nets offers a set of TeX/LaTeX packages about Petri nets and related models. Three packages are available: the first allows the user to draw Petri-nets in PostScript documents; the second defines macros related to PBC, M-nets and B(PN) models; and a third that combines the other two. date: 2016-06-24 17:18:15 +0000

Found 4 sites for texlive-petri-nets

• https://www.tug.org/texlive/
• http://www.ctan.org/tex-archive/macros/generic/petri-nets
• http://tug.org/texlive/
• http://www.tug.org/texlive/

Found 38 RPM for texlive-petri-nets

Generated by rpm2html 1.6

Fabrice Bellet