Open Petri nets: Nondeterministic processes and compositionality (2008)

by P Baldan, A Corradini, H Ehrig, B König
Venue:In ICGT, volume 5214 of LNCS