How to add LabelledPetriNet

New to Julia
1

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(manifest::Pkg.Types.Manifest, pkgs::Vector{Pkg.Types.PackageSpec}; registry::Bool)
@ Pkg.Types /opt/julia-1.7.3/share/julia/stdlib/v1.7/Pkg/src/Types.jl:915
[3] add(ctx::Pkg.Types.Context, pkgs::Vector{Pkg.Types.PackageSpec}; preserve::Pkg.Types.PreserveLevel, platform::Base.BinaryPlatforms.Platform, kwargs::Base.Pairs{Symbol, Base.TTY, Tuple{Symbol}, NamedTuple{(:io,), Tuple{Base.TTY}}})
@ Pkg.API /opt/julia-1.7.3/share/julia/stdlib/v1.7/Pkg/src/API.jl:257
[4] add(pkgs::Vector{Pkg.Types.PackageSpec}; io::Base.TTY, kwargs::Base.Pairs{Symbol, Union{}, Tuple{}, NamedTuple{(), Tuple{}}})
@ Pkg.API /opt/julia-1.7.3/share/julia/stdlib/v1.7/Pkg/src/API.jl:149
[5] add(pkgs::Vector{Pkg.Types.PackageSpec})
@ Pkg.API /opt/julia-1.7.3/share/julia/stdlib/v1.7/Pkg/src/API.jl:144
[6] #add#27
@ /opt/julia-1.7.3/share/julia/stdlib/v1.7/Pkg/src/API.jl:142 [inlined]
[7] add
@ /opt/julia-1.7.3/share/julia/stdlib/v1.7/Pkg/src/API.jl:142 [inlined]
[8] #add#26
@ /opt/julia-1.7.3/share/julia/stdlib/v1.7/Pkg/src/API.jl:141 [inlined]
[9] add(pkg::String)
@ Pkg.API /opt/julia-1.7.3/share/julia/stdlib/v1.7/Pkg/src/API.jl:141
[10] top-level scope
@ REPL[16]:1

2

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

1 Like
3

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

2 Likes