presented at event 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000) Conference
keywords CONCURRENCY Computer Science Computer Science, Theory & Methods Science & Technology Technology analysis and synthesis causality/partial order theory of concurrency structure and behaviour of nets