search

AlgebraicJulia / AlgebraicRelations.jl

Relational Algebra, now with more algebra!
https://www.algebraicjulia.org
MIT License
47 stars 3 forks source link

Upstreaming PetriNet --> Presentation code #10

Open jpfairbanks opened 3 years ago

jpfairbanks commented 3 years ago

For the workflow schema features you wrote some code for generating a Presentation of an SMC from a Petri Net, should that get upstreamed to AlgebraicPetri?

bosonbaas commented 3 years ago

Yes, that's the current plan! Currently we're actually just using Petri.jl for the graphing (no AlgebraicPetri dependency), so the plan is for this to be upstreamed to AlgebraicPetri once the other graphing utilities are transferred from Petri.jl.

jpfairbanks commented 3 years ago

Awesome, it would also be great to have a PetriNets to Presentation(SMC) too. This would come in handy on SocialTheories where I need to represent presentations of SMCs as data.