Sean
Hi @gdalle! I'm interested in using this package to work with inhomogeneous Poisson processes but I didn't see a definition in the source. Is this something that would be relatively...
Currently delayed machines and resource sharers only specify a unique dynamics function for each one, and the history function is defined "externally", applied to the composed state. It would be...
Hi, is there a similar macro to `@relation` that can be used to define the composition pattern for systems of continuous machines? The examples construct them by hand for directed...
Sometimes when dealing with big petri nets it's useful to grab the "induced subnet", that is, given some transition(s) we grab the net consisting of the transition(s), and the arcs...
When looking at morphisms $\phi: P \to P_{type}$ its often the case that $P_{type}$ will only have a small number of transitions and places. In that case, it would be...
@giovannic I have an implementation of the shadow integer variable [here](https://github.com/slwu89/individual/blob/feat/variable-enhancements/inst/include/Shadow_IntegerVariable.h). The way it works is pretty straightforward, there are just 2 vectors it contains, each time step an enum...
In the Inplace module https://github.com/AlgebraicJulia/AlgebraicRewriting.jl/blob/main/src/rewrite/Inplace.jl it would be nice to have something like `rewrite_match_maps!` which does the rewrite inplace but returns the maps like `rewrite_match_maps` does (https://github.com/AlgebraicJulia/AlgebraicRewriting.jl/blob/main/src/rewrite/DPO.jl). This is helpful...
When an `AttrType` is being modeled with some union type, queries with a parameter for something pointing to that attribute type won't work (errors). I am not sure if its...
Has there been any thoughts regarding serialization of rules? Of course using the simple https://docs.julialang.org/en/v1/stdlib/Serialization/#Serialization.serialize interface works fine, but I was curious if there was a road ahead on serialization...
`query` errors when specifying the parameter (ID of a certain object) when using a union type for an `AttrType` in the following schema. On `Catlab v0.16.17`. ```julia using Catlab @present...