PetriNet
A Petri net of Places and Transitions
Bipartite graph of Places and Transitions with Arcs connecting them, as well as initial and final
Bipartite graph of Places and Transitions with Arcs connecting them, as well as initial and final
MarkingsUsed as Input
0
functions accept this type
Used as Output
1
function return this type
Type Definition
26 nested items
PetriNet— A Petri net of Places and Transitions
final_markings:Option<Vec<_>>— Final markings (any of them are accepted as a final marking)
[items]:HashMap<String, u64>
initial_marking:Option<Object>— Initial marking
[key: string]:u64
Example JSON Value
json
{
"arcs": [
{
"from_to": {
"nodes": [
"example",
"example"
],
"type": "PlaceTransition"
},
"weight": 1
}
],
"places": {
"something": {
"id": "893f8ab9"
}
},
"transitions": {
"something": {
"id": "893f8ab9"
}
}
}