A categorical linear framework for Petri nets (0)

by C Brown, D Gurr
Venue:Logic in Computer Science