search

statebox / idris-stbx-core

Category theoretic semantics of glued open Petri nets in Idris
https://statebox.org/
1 stars 1 forks source link

provide examples of Petri nets #24

Open marcosh opened 5 years ago

marcosh commented 5 years ago

it would be nice to have also examples of morphisms between Petri nets and even functors from and to the category of Petri nets

FabrizioRomanoGenovese commented 5 years ago
andrevidela commented 5 years ago

We can use some examples from the studio

FabrizioRomanoGenovese commented 5 years ago

In the future it may even make sense to build a parser that takes a .pnpro file and maps it to a petri net in the typed core.

marcosh commented 5 years ago

yes, that would be definitely really cool

wisnesky commented 5 years ago

Just wanted to pipe in that there is a ‘bulk’ strategy for Petri net construction, namely, taking a database instance on the bi-partite graph schema and then performing the Grothendieck construction. Many of the proofs, such as that the assignment groth(I) -> BGrSch is a discrete op fibration, are easy.

On Mar 22, 2019, at 1:21 PM, Marco Perone notifications@github.com wrote:

yes, that would be definitely really cool

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.