You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Fabrizio Genovese (Feb 02 2021 at 10:16):So, this paper by me and @Jelle Herold is out: https://arxiv.org/abs/2102.00096
As usual, you can find a video presentation here: https://www.youtube.com/watch?v=4v5v8tgmiUM
This is about Petri nets with a degree of hierarchy. It is connected, but different from @Jade Master 's ideas about how to formalize nets within nets. In our case tokens are simple objects, but firing transition requires executing something in another net.
There are many models of hiearchy in Petri nets, we picked this one because it impacts reachability in a very mild way (good for model checking). Moreover, it makes a lot of sense from a "Petri nets as smart contracts" point of view, where it is important that the atomicity of all transitions is preserved. We sketch this out in the last pages of the paper.
From a practical point of view, this is indeed exactly what the Statebox engine is using now.
John Baez (Feb 02 2021 at 17:51):That video doesn't work for me: it seems to be a link to the "studio" where you create videos: https://studio.youtube.com/video/4v5v8tgmiUM/edit
Daniele Palombi (Feb 02 2021 at 19:57):John Baez said:
That video doesn't work for me: it seems to be a link to the "studio" where you create videos: https://studio.youtube.com/video/4v5v8tgmiUM/edit
Here's the correct link: https://youtu.be/4v5v8tgmiUM
Jelle Herold (Feb 02 2021 at 23:07):Fabrizio Genovese said:
So, this paper by me and Jelle Herold is out: https://arxiv.org/abs/2102.00096
As usual, you can find a video presentation here: https://studio.youtube.com/video/4v5v8tgmiUM/edit
This is about Petri nets with a degree of hierarchy. It is connected, but different from Jade Master 's ideas about how to formalize nets within nets. In our case tokens are simple objects, but firing transition requires executing something in another net.
There are many models of hiearchy in Petri nets, we picked this one because it impacts reachability in a very mild way (good for model checking). Moreover, it makes a lot of sense from a "Petri nets as smart contracts" point of view, where it is important that the atomicity of all transitions is preserved. We sketch this out in the last pages of the paper.
From a practical point of view, this is indeed exactly what the Statebox engine is using now.
haha jezus that music again .... wtf :laughing: :hear_no_evil:
Fabrizio Genovese (Feb 02 2021 at 23:08):The whole videos thing is just an excuse to play eurobeat in the video intros. You can be sure that is the only thing I'll never get rid of in my videos. :grinning: