page Workflow

3 places 3 transitions

Places & Transitions

new Set
Page registered (app:add-page), not yet activated
active Set
Scrapable. Can be scraped repeatedly (self-loop transition).
  • scrape active
    Extract headline Links from the Page and dispatch each for resolution
inactive Set
Not scraped -- disabled or failed activation
digraph workflow {
  ratio="compress" rankdir="TB" width="0.5" ranksep="0.2"
  node [fontsize="9" fontname="Arial" color="#333333" fillcolor="lightblue" fixedsize="false" width="0.5" shape="ellipse"];
  edge [fontsize="9" fontname="Arial" color="#333333" arrowhead="normal" arrowsize="0.5" shape="box"];

  place_new [label="new", shape=doublecircle style="filled" color="#FF0000" tooltip="Page registered (app:add-page), not yet activated"];
  place_active [label="active", shape=ellipse tooltip="Scrapable. Can be scraped repeatedly (self-loop transition)."];
  place_inactive [label="inactive", shape=ellipse tooltip="Not scraped -- disabled or failed activation"];
  place_new -> place_active [label="activate" style="dotted" tooltip="Activate a newly registered Page"];
  place_new -> place_inactive [label="scrape_fail" style="dotted" tooltip="Scrape failed"];
  place_active -> place_active [label="scrape" style="dotted" tooltip="Extract headline Links from the Page and dispatch each for resolution"];
}