petrinetR: Building, Visualizing, Exporting and Replaying Petri Nets

Share:

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.

Author
Gert Janssenswillen
Date of publication
2016-08-18 13:38:52
Maintainer
Gert Janssenswillen <gert.janssenswillen@uhasselt.be>
License
GPL-3
Version
0.1.0

View on CRAN

Man pages

create_PN
Create Petri Net
enabled
Enabled transitions
enabled_transition
Enabled Transition
execute
Execute
flows
Flows
marking
Marking
parse
Parse
parsel
Parse (logical)
petrinetR
petrinetR - Building, visualizing, exporting and replaying...
places
Places
post_set
Postset
pre_set
Preset
transitions
Transitions
tree_to_PN
tree_to_PN
visNetwork_from_PN
VisNetwork from PN

Files in this package

petrinetR
petrinetR/NAMESPACE
petrinetR/R
petrinetR/R/preset.R
petrinetR/R/places.R
petrinetR/R/petrinetR.R
petrinetR/R/execute.R
petrinetR/R/enabled_transition.R
petrinetR/R/marking.R
petrinetR/R/visNetwork_from_PN.R
petrinetR/R/tree_to_PN.R
petrinetR/R/enabled.R
petrinetR/R/parallel_to_PN.R
petrinetR/R/transitions.R
petrinetR/R/sequence_to_PN.R
petrinetR/R/flows.R
petrinetR/R/parse.R
petrinetR/R/create_PN.R
petrinetR/R/parsel.R
petrinetR/R/postset.R
petrinetR/MD5
petrinetR/DESCRIPTION
petrinetR/man
petrinetR/man/places.Rd
petrinetR/man/transitions.Rd
petrinetR/man/execute.Rd
petrinetR/man/parse.Rd
petrinetR/man/flows.Rd
petrinetR/man/pre_set.Rd
petrinetR/man/tree_to_PN.Rd
petrinetR/man/create_PN.Rd
petrinetR/man/petrinetR.Rd
petrinetR/man/enabled_transition.Rd
petrinetR/man/post_set.Rd
petrinetR/man/enabled.Rd
petrinetR/man/parsel.Rd
petrinetR/man/visNetwork_from_PN.Rd
petrinetR/man/marking.Rd