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?

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

1 Answer 1

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.

$\endgroup$

Your Answer

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

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