I have a simple agents.jl sim where at each step with some probability agents are added or change state or are removed. Agents are not independent, e.g., there is a finite “capacity” resource which might prevent an agent from being added.
I’d like to model this in a PPL, to enable also inference. Any examples/tips/reasons why its impossible/a bad idea?
Closest mathematical abstraction I’ve found is Resource dependent branching process .
 Resource-dependent branching process - Wikipedia
What specifically do you want to infer?
Disclaimer: I’m no expert, and as Seth writes it kind of depends on what you want to infer.
But from the rough description you provide, if you want to infer using Monte Carlo methods, you probably have to do it using Reversible jump MCMC, which Stan, Turing etc. don’t offer afaik.
Gen on the other hand offers ways to do this and has a nice tutorial, which might help you figure out whether this is what you’re looking for.
I am still in exploratory mode, so I don’t really know, in principle everything.
Yet your question is usefully challenging, so thanks.