post_set: Postset
In petrinetR: Building, Visualizing, Exporting and Replaying Petri Nets
post_set R Documentation
Postset
Description
Get the postset of a transition or place in a Petri Net
Usage
post_set(PN, node)
Arguments
PN
petrinet or marked_petrinet
node
character of length one: the node id for which to get the postset.
petrinetR documentation built on April 3, 2023, 5:21 p.m.
R Package Documentation
Browse R Packages
We want your feedback!
Note that we can't provide technical support on individual packages. You should contact the package authors for that.
| post_set | R Documentation |
Postset
Description
Get the postset of a transition or place in a Petri Net
Usage
post_set(PN, node)
Arguments
PN |
|
node |
|
R Package Documentation
Browse R Packages
We want your feedback!
Note that we can't provide technical support on individual packages. You should contact the package authors for that.
Embedding an R snippet on your website
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.