Petri Nets

  • Carl Petri in 1938
  • "places" and "transitions"
    • places are things (genes, molecules, components)
    • transitions represents a process between places
  • bipartite graph -> place-transition-place
  • "signaling petri net":
    • models a flow of tokens
    • tokens move around the petri net
    • simulation is series of time blocks (grouped petri nets)
    • each time a transition fires a random number of tokens is passed downstream
      example
  • maybe related to Hest?
    • allowing to play history back and forth?
    • time control?
  • Petri Nets might be interesting when related to VPLs
Szymon Kaliski © 2021
mailtwittergithubwebring