julia> Pkg.add(“LabelledPetriNet”); ERROR: The following package names could not be resolved: LabelledPetriNet (not found in project, manifest or registry) Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia-1.7.3/share/julia/stdlib/v1.7/Pkg/src/Types.jl:68 [2] ensure_resolved(manife…

There is no package with that name registered. Do you want GitHub - AlgebraicJulia/AlgebraicPetri.jl: Build Petri net models compositionally `?

How to add LabelledPetriNet

giordano May 28, 2022, 10:44am 3

Please, do not crosspost questions. You waste multiple people’s time who independently provide you with the same answers.

2 Likes

Topic		Replies	Views
The following package names could not be resolved: * Makie (not found in project, manifest or registry) General Usage package	3	1334	May 28, 2022
Julia1.0 how to add the package? General Usage	8	8421	August 10, 2018
Pkg.add("IJulia") can not work Tooling question	13	7076	August 7, 2020
Error creating Pkg.add("Plots") on v1.5.2-1 version General Usage question , package	0	290	October 17, 2020
ERROR: The following package names could not be resolved: General Usage	3	5697	July 16, 2019