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?