Lateron this file will contain some super important things to know -- but not yet.
THINGS TO KNOW
- pnmodel.Label.equals(...) works on a simple but quick algorithm that tries to first match all the values of the first label against the other label's value, then matches the remaining values of the other label against the variables of the first label and thencompares the tuples. IT DOES NOT recognize when variables have the same name. It therefore returns "true" more often than a correct comparison (an "is unifiable with" check) would do.
- In general the petrinettool package allows to use string literals as value parameters in labels and guards. You should know, that by now the PEPtool is not able to handle string literals.