Suppose I know the markings of a given place-transition net.
How do I determine which of the markings is a place invariant? I also know the initial marking. I will appreciate a very easy-to-digest explanation.
I have read page 17 of this paper, where the formula for finding place invariants is described but I do not understand it fully.
Please do not simply tell me what the place invariants are. Explain to me how I can find them so that I can always do this in the future.
Initial marking for a set of places (U,V,W,X,Y,Z):
Other markings:
I later learned that if the set of places is (U,V,W,X,Y,Z), then the place invariants are the sets for which the sum of tokens remains the same for every marking.
So, the sets of places that form place invariants are: