Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Open Access
Open Petri nets
Mathematical structures in computer science, 2020-03, Vol.30 (3), p.314-341
2020
Link zum Volltext

Open Access
Petri nets based on Lawvere theories
Mathematical structures in computer science, 2020-08, Vol.30 (7), p.833-864
2020
Link zum Volltext

Electronic proceedings in theoretical computer science, 2018-11, Vol.283 (Proc. CAPNS 2018), p.50-61
2018
Link zum Volltext

Electronic proceedings in theoretical computer science, 2023-08, Vol.380
2023
Link zum Volltext

Categories of nets
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext

Composing Behaviors of Networks
2021

Open Access
String Diagrams for Assembly Planning
Diagrammatic Representation and Inference, p.167-183
Link zum Volltext