texlive-petri-nets

Set TeX/LaTeX packages for drawing 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.

Versions: 2024.2
Website: https://ctan.org/pkg/petri-nets
Licenses: GPL 3+
Package source: gnu/packages/tex.scm
Builds: See build status
Issues: See known issues

Installation

Install the latest version of texlive-petri-nets as follows:

guix install texlive-petri-nets

Or install a particular version:

guix install texlive-petri-nets@2024.2

You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.

Badge code

HTML: <a href='http://127.0.0.1:3000/packages/texlive-petri-nets/'><img src='http://127.0.0.1:3000/packages/texlive-petri-nets/badges/latest-version.svg'></img></a>
Markdown: [![GNU Guix](http://127.0.0.1:3000/packages/texlive-petri-nets/badges/latest-version.svg)](http://127.0.0.1:3000/packages/texlive-petri-nets/)
Org: [[http://127.0.0.1:3000/packages/texlive-petri-nets/][http://127.0.0.1:3000/packages/texlive-petri-nets/badges/latest-version.svg]]