Skip to content

Instantly share code, notes, and snippets.

@stackdump
Last active March 18, 2025 14:36
Show Gist options
  • Save stackdump/f877f4d3d4a806328dc30f6eeac52bed to your computer and use it in GitHub Desktop.
Save stackdump/f877f4d3d4a806328dc30f6eeac52bed to your computer and use it in GitHub Desktop.
Pflow URL syntax
Diagram(
Sequence(
Terminal('/?'),
Sequence(
Terminal('modelType='),
Terminal('petriNet')
),
Terminal('&'),
Sequence(
Terminal('version='),
Terminal('v0')
),
Terminal('&'),
ZeroOrMore(
Sequence(
Terminal('place='),
NonTerminal('place_name'),
Terminal('&offset='),
NonTerminal('offset'),
Optional(
Sequence(
Terminal('&initial='),
NonTerminal('initial')
)
),
Optional(
Sequence(
Terminal('&capacity='),
NonTerminal('capacity')
)
),
Terminal('&x='),
NonTerminal('x_coord'),
Terminal('&y='),
NonTerminal('y_coord')
)
),
Terminal('&'),
ZeroOrMore(
Sequence(
Terminal('transition='),
NonTerminal('transition_name'),
Terminal('&x='),
NonTerminal('x_coord'),
Terminal('&y='),
NonTerminal('y_coord')
)
),
Terminal('&'),
ZeroOrMore(
Sequence(
Terminal('source='),
NonTerminal('source_name'),
Terminal('&target='),
NonTerminal('target_name'),
Optional(
Sequence(
Terminal('&weight='),
NonTerminal('weight')
)
),
Optional(
Terminal('&inhibit=true')
)
)
)
)
)
@stackdump
Copy link
Author

stackdump commented Mar 18, 2025

@stackdump
Copy link
Author

pflow_url_syntax

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment