Petri nets as quantales (1989)

by C Brown