Get the postset of a transition or place in a Petri Net
1 | post_set(PN, node)
|
PN |
A Petri Net |
node |
A place or transition in the petri net |
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.