robinjam/Ports — Issue #8: Arrival locations should not be allowed within activation regions
Author: robinjam
Created: 2011-11-03 02:00:09+00:00
State: open
Labels: Bug

It should not be possible to define a port which has its arrival location within its activation region, as this can result in infinite loops.