# How to add LabelledPetriNet

**URL:** <https://discourse.julialang.org/t/how-to-add-labelledpetrinet/81828>\
**Category:** New to Julia\
**Tags:** package\
**Created:** [May 28, 2022, 10:06am UTC](https://discourse.julialang.org/t/how-to-add-labelledpetrinet/81828 "2022-05-28T10:06:51Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![lsorkatti](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/lsorkatti/32/36527_2.png) [@lsorkatti](https://discourse.julialang.org/u/lsorkatti)\
**Post date:** [May 28, 2022, 10:06am UTC](https://discourse.julialang.org/t/how-to-add-labelledpetrinet/81828/1 "2022-05-28T10:06:51Z")

</div>

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

---

<div class="post-metadata">

**Author:** ![skleinbo](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/skleinbo/32/36080_2.png) [@skleinbo](https://discourse.julialang.org/u/skleinbo)\
**Post date:** [May 28, 2022, 10:35am UTC](https://discourse.julialang.org/t/how-to-add-labelledpetrinet/81828/2 "2022-05-28T10:35:41Z")

</div>

There is no package with that name registered. Do you want [GitHub - AlgebraicJulia/AlgebraicPetri.jl: Build Petri net models compositionally](https://github.com/AlgebraicJulia/AlgebraicPetri.jl) `?

---

<div class="post-metadata">

**Author:** ![giordano](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/giordano/32/2166_2.png) [@giordano](https://discourse.julialang.org/u/giordano)\
**Post date:** [May 28, 2022, 10:44am UTC](https://discourse.julialang.org/t/how-to-add-labelledpetrinet/81828/3 "2022-05-28T10:44:17Z")

</div>

Please, do _ **not** _ [crosspost questions](https://discourse.julialang.org/t/the-following-package-names-could-not-be-resolved-makie-not-found-in-project-manifest-or-registry/48682/3). You waste multiple people’s time who independently provide you with the same answers.