Ready.
The (trivial and quirky) plagiarism of copycat82 leaves it as a subset of each of those (prior art) papers it attempts to copy. VD78 is one of those sources.
VD78 refers to Petri nets, and (LOGOS) data-graphs, and relates them. Next, copycat82 is only an attempt to merge those two graphs, to stand as a single-graph, and some very problematic, and very trivial start/exit subnets. Both of these being worse than trivial attempts of copycat82, it is left as a subset of VD78.
The so-called "single" graph of copycat82, ignores any structure (or, content) of copycat82's fake claim, about abstract-data-types. Although copycat82 does claim (or, advertise) to introduce ADTs, it lacks any studied types, any way. Therefore, no need to compare it, with the third-level of VD78/Va76, at all. In fact, Where to represent ADTs, if at all? That, again, would need the data-graph of VD78, or so. Back to where copycat82 starts its plagiarism.
copycat82 commits to vagueness, with its ill-structured subnets, although it still expects them to be separately-verifiable, as if that were VD78. Such vague-macros cannot be assumed as equivalent to VD78 well-formed subnets (or, Petri net non-primitive transitions). A net is not verifiable, if it contains such copycat82-subnets in it. An insistence to verify such a vagueness, would only lead to maximal complexity.
The catch is that, if copycat82 were to require those conditions to ensure correct operation, then it would, turn to a photocopy of VD78, about this, too. (e.g: See also, the absurd input macro "another OR") i.e: It is the plagiarism of copycat82 which avoids being catched, a bit because, it chops away even what is needed. That is the trade-off of copycat82, between faultiness and plagiarism..
It cannot do anything else. Whenever copycat82 avoids a verbatim cut-and-paste from the prior-art sources, is the wherever copycat82 commits to its chaotical, untrustable existence, with its fault-prone "method".
VD78 does not carry the term "distributed systems" to its title, but it is listed, in the first page, as a motivation for the study with Petri nets. In particular, the representation of parallelism by the Petri nets, is found relevant.
copycat82 uses the theme of distributed systems in its title, abstract, and as a wall-paper, in a lot of rather vague figures, probably only resolvable by reading the caption, but it does not deal with any further, of the issues that make the distributed systems difficult to manage. In other, words, copycat82 is neither to improve the representation, nor to implement any significant application, any further about "distributed systems" than already what VD78 had published - let alone, Da80.