Smart contract modelled with Petri nets
This video shows how a smart contract can be modelled with Petri nets, the fundamental aspect that makes up the Statebox language. Check out our medium blogpost for a written account and a final iteration of the example.
![[3S2] Meta-Cedille (Andre Knispel)](https://images.mixrolikus.cc/video/QW37iWVSN5Y)
![[3S2] Succinct Petri Nets (Stefano Gogioso)](https://images.mixrolikus.cc/video/_Atc8IfAc9s)
![[3S2] Structural Operational Semantics for String Diagrams (Fabio Zanasi)](https://images.mixrolikus.cc/video/SprclQUecXM)
![[3S2] Modalities in Type Theory (Alex Gryzlou)](https://images.mixrolikus.cc/video/SLJDwhRg5Yk)
![[3S2] Tutorial: Wiring Diagrams (Christina Vasilakopoulou)](https://images.mixrolikus.cc/video/DbzLi9aM5q8)
![[3S2] Tutorial: Indexed Containers, (Frederik Nordval)](https://images.mixrolikus.cc/video/Bw3v65e4v24)
![[3S2] Fabrizio Genovese, idris-ct](https://images.mixrolikus.cc/video/no61XFY4VG8)
![[3S2] André Videla, Typedefs in 15 minutes](https://images.mixrolikus.cc/video/neWhiGeF2ZU)
![[3S2] Andre Knispel, zero-knowledge proofsystems categorically](https://images.mixrolikus.cc/video/WTtApoJEg4Y)
![[3S2] Brick diagrams](https://images.mixrolikus.cc/video/IBESZlBRBzY)
![[3S2] Open Games Hack](https://images.mixrolikus.cc/video/4Ln4FukIFO0)
![[3S2] Kasper Keunen - GET-protocol](https://images.mixrolikus.cc/video/yQHY1eeaTNM)