_            _    _        _         _
      /\ \         /\ \ /\ \     /\_\      / /\
      \_\ \       /  \ \\ \ \   / / /     / /  \
      /\__ \     / /\ \ \\ \ \_/ / /     / / /\ \__
     / /_ \ \   / / /\ \ \\ \___/ /     / / /\ \___\
    / / /\ \ \ / / /  \ \_\\ \ \_/      \ \ \ \/___/
   / / /  \/_// / /   / / / \ \ \        \ \ \
  / / /      / / /   / / /   \ \ \   _    \ \ \
 / / /      / / /___/ / /     \ \ \ /_/\__/ / /
/_/ /      / / /____\/ /       \ \_\\ \/___/ /
\_\/       \/_________/         \/_/ \_____\/
r-petrinetr 0.3.0
Propagated dependencies: r-xml2@1.3.8 r-visnetwork@2.1.2 r-purrr@1.0.4 r-lifecycle@1.0.4 r-dplyr@1.1.4 r-diagrammer@1.0.11
Channel: guix-cran
Location: guix-cran/packages/p.scm (guix-cran packages p)
Home page: https://bupar.net
Licenses: GPL 3
Synopsis: Building, Visualizing, Exporting and Replaying Petri Nets
Description:

This package provides functions for the construction of Petri Nets. Petri Nets can be replayed by firing enabled transitions. Silent transitions will be hidden by the execution handler. Also includes functionalities for the visualization of Petri Nets and export of Petri Nets to PNML (Petri Net Markup Language) files.

Total results: 1