I have a similar problem as follows:
I. (@v1.7) pkg> add LabelledPetriNet;
ERROR: The following package names could not be resolved:
- LabelledPetriNet (not found in project, manifest or registry)
II. julia> Pkg.add(“LabelledPetri”);
ERROR: The following package names could not be resolved:
- LabelledPetri (not found in project, manifest or registry)
Any suggestions?