Arc

Arc in a Petri net

Connecting a transition and a place (or the other way around)

Used as Input

functions accept this type(+4 nested)

Used as Output

functions return this type(+1 nested)

Type Definition

12 nested items

struct— Arc in a Petri net

from_to*:ArcType— Arc type in a Petri net

variant 1:struct— From Place to Transition

variant 2:struct— From Transition to Place

weight*:u32— Weight (i.e., how many tokens this arc moves)

json

{
  "from_to": {
    "nodes": [
      "example",
      "example"
    ],
    "type": "PlaceTransition"
  },
  "weight": 1
}