Created
September 2, 2025 15:15
-
-
Save stackdump/5f60e452dcf07f16bdcb9aa95f64a511 to your computer and use it in GitHub Desktop.
Mason's first petri-net
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
a more detailed version of the sequence diagram in the docs
notice the inhibitor arcs are used to separate different components - i.e. different Types of tokens
in the consumer.client place - the token represents the instance of the client in memory
whereas other parts of the diagram model the statefulness of the channel