Arc
Arc in a Petri net
Connecting a transition and a place (or the other way around)
Connecting a transition and a place (or the other way around)
Used as Input
0
functions accept this type(+2 nested)
Used as Output
0
functions return this type(+1 nested)
Type Definition
12 nested items
struct— Arc 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)
Example JSON Value
{
"from_to": {
"nodes": [
"example",
"example"
],
"type": "PlaceTransition"
},
"weight": 1
}