Arrival locations should not be allowed within activation regions
robinjam opened this issue ยท 1 comments
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.
robinjam opened this issue ยท 1 comments
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.