Ryszard Janicki: An Algebraic Structure of Petri Nets. Symposium on Programming 1980: 177-192