2 papers
cs.LO2026
Automating Observable Closure Analysis for Graph Transformation Models with MolFoundry
Marcel Friedrichs, Addie Jordon, Juri Kolčák +1
Graph transformations model changing systems, with applications in software, biology and chemistry, among others. We introduce MolFoundry, a graph transformation framework, and pre…
cs.DM2025
Continuous Petri Nets for Fast Yield Computation: Polynomial-Time and MILP Approaches
Addie Jordon, Juri Kolčák, Daniel Merkle
Petri nets provide accurate analogues to chemical reaction networks, with places representing individual molecules (the resources of the system) and transitions representing chemic…