Statebox

MaRDI QIDQ1354422swMATHFDO

Official website https://statebox.org

Source code repository https://github.com/statebox

Cited in

(5)

• A categorical semantics for guarded Petri nets
• PowerPoint
• scientific article; zbMATH DE number 7453982 (Why is no real title available?)
• CQL
• idris-ct

This page was built for software: Statebox