Ryszard Janicki An Algebraic Structure of Petri Nets. 177-192 1980 conf/programm/1980 Symposium on Programming db/conf/programm/programm80.html#Janicki80