Package: petrinetR 0.3.0

Gert Janssenswillen

petrinetR: Building, Visualizing, Exporting and Replaying Petri Nets

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.

Authors:Gert Janssenswillen [aut, cre], Ivan Esin [ctb]

petrinetR_0.3.0.tar.gz
petrinetR_0.3.0.zip(r-4.5)petrinetR_0.3.0.zip(r-4.4)petrinetR_0.3.0.zip(r-4.3)
petrinetR_0.3.0.tgz(r-4.4-any)petrinetR_0.3.0.tgz(r-4.3-any)
petrinetR_0.3.0.tar.gz(r-4.5-noble)petrinetR_0.3.0.tar.gz(r-4.4-noble)
petrinetR_0.3.0.tgz(r-4.4-emscripten)petrinetR_0.3.0.tgz(r-4.3-emscripten)
petrinetR.pdf |petrinetR.html
petrinetR/json (API)
NEWS

# Install 'petrinetR' in R:
install.packages('petrinetR', repos = c('https://bupaverse.r-universe.dev', 'https://cloud.r-project.org'))

Peer review:

Bug tracker:https://github.com/bupaverse/petrinetr/issues

On CRAN:

4.28 score 4 stars 1 packages 16 scripts 308 downloads 32 exports 67 dependencies

Last updated 2 years agofrom:69ad59b06e. Checks:OK: 3 NOTE: 4. Indexed: yes.

TargetResultDate
Doc / VignettesOKOct 26 2024
R-4.5-winNOTEOct 26 2024
R-4.5-linuxNOTEOct 26 2024
R-4.4-winNOTEOct 26 2024
R-4.4-macNOTEOct 26 2024
R-4.3-winOKOct 26 2024
R-4.3-macOKOct 26 2024

Exports:add_flowsadd_placesadd_transitionscreate_marked_PNcreate_PNenabledenabled_transitionexecutefinal_markingflowsinitial_markingis_nodeis_placeis_transitionmarkingn_flowsn_nodesn_placesn_transitionsnodesparse_traceparsel_tracepart_ofplacespost_setpre_setread_PNrename_placesrename_transitionsrender_PNtransitionsvisNetwork_from_PN

Dependencies:base64encbitbit64bslibcachemclicliprcolorspacecpp11crayonDiagrammeRdigestdplyrevaluatefansifarverfastmapfontawesomefsgenericsgluehighrhmshtmltoolshtmlwidgetsigraphjquerylibjsonliteknitrlabelinglatticelifecyclemagrittrMatrixmemoisemimemunsellpillarpkgconfigprettyunitsprogresspurrrR6rappdirsRColorBrewerreadrrlangrmarkdownrstudioapisassscalesstringistringrtibbletidyrtidyselecttinytextzdbutf8vctrsviridisLitevisNetworkvroomwithrxfunxml2yaml

Readme and manuals

Help Manual

Help pageTopics
Create marked Petri Netcreate_marked_PN
Create Petri Netcreate_PN
Enabled transitionsenabled
Enabled Transitionenabled_transition
Executeexecute
Final Markingfinal_marking
Flowsflows flows.marked_petrinet flows.petrinet
Initial Markinginitial_marking
Is nodeis_node
Is placeis_place
Is transitionis_transition
Marked petrinetmarked_petrinet
Markingmarking
Utilsadd_flows add_places add_transitions n_flows n_nodes n_places n_transitions rename_places rename_transitions
Get nodes from (marked) petrinetnodes
Parseparse_trace
Parse (logical)parsel_trace
Part ofpart_of
Ppetrinetpetrinet
petrinetR - Building, visualizing, exporting and replaying Petri NetspetrinetR
Placesplaces places.marked_petrinet places.petrinet
Postsetpost_set
Presetpre_set
Read .PNML fileread_PN
Render Petri Netrender_PN
Transitionstransitions transitions.marked_petrinet transitions.petrinet
VisNetwork from PNvisNetwork_from_PN