1
$\begingroup$

When finding sources for certain definitions related to Petri nets, I found that there seem to be three ways of referring to "which tokens are located in each place":

  • Configuration (e.g. in Sequential Configuration Graph, also referred to as a reachability graph)
  • Marking (e.g. initial marking)
  • State (e.g. in State Space analysis).

Is there a subtle difference between these terms, or can they all be used for every type of Petri net?

Improve this question
$\endgroup$
1
  • $\begingroup$ Welcome! Your comment is kinda redundant since that's what we're looking for in all answers on this site. :-) $\endgroup$
    – David Richerby
    Jul 21, 2016 at 8:24

1 Answer 1

Reset to default
1
$\begingroup$

For standard Petri nets, configuration, state and marking are the same thing. The term marking is standard. State is probably best avoided, as novices may confuse it with place.

For extended Petri nets (e.g. timed Petri nets), a configuration may contain more information than just a marking.

Improve this answer
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.