| petrinet_synchronous_product | R Documentation | 
Constructs the synchronous product net of two given Petri nets.
petrinet_synchronous_product(
  pn1,
  im1,
  fm1,
  pn2,
  im2,
  fm2,
  skip = ">>",
  convert = TRUE
)
| pn1 | First Petri net | 
| im1 | Initial marking of the first Petri net | 
| fm1 | Final marking of the first Petri net | 
| pn2 | Second Petri net | 
| im2 | Initial marking of the second Petri net | 
| fm2 | Final marking of the second Petri net | 
| skip | Symbol to be used as skip | 
| convert | 
 | 
A Petri net.
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.