Skip to main content

PetriNet

A Petri net of Places and Transitions

Bipartite graph of Places and Transitions with Arcs connecting them, as well as initial and final Markings
Used 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
arcs*:Vec<Arc>— Arcs
final_markings:Option<Vec<_>>— Final markings (any of them are accepted as a final marking)
initial_marking:Option<Object>— Initial marking
[key: string]:u64
places*:HashMap<String, Place>— Places
transitions*:HashMap<String, Transition>— Transitions

Example JSON Value

{
  "arcs": [
    {
      "from_to": {
        "nodes": [
          "example",
          "example"
        ],
        "type": "PlaceTransition"
      },
      "weight": 1
    }
  ],
  "places": {
    "something": {
      "id": "893f8ab9"
    }
  },
  "transitions": {
    "something": {
      "id": "893f8ab9"
    }
  }
}

Functions Returning This Type(1)

discover_alpha+++→PetriNet

process_mining::discovery::case_centric::alphappp::full