Bigraphs for Petri nets. To appear (2004)

by R Milner
Venue:in Proc. Advance Course in Petri Nets, Eichstätt, 2003, Lecture Notes in Computer Science