data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Summary:
Read arcs have no effect on TF0 and FP0
Created:
2011-05-12 20:43
Status:
Closed
Category:
Bug
Assigned:
Priority:
4
Program:
Charlie
Version:
Description:
When there is a read arc connected to a transition that does not have a "normal" post-place it is considered as a boundary transition.
When there is a read arc connected to a transition that does not have a "normal" post-place it is considered as a boundary transition.
When there is a read arc connected from a place that does not have an pre-transition then it is considered as a boundary transition.
A read arc should be considered as an arc that directs into both directions and thus neither of the examples above should be considered as boundaries.
Comments
Fix is in PlaceTransitionNet line 510.
<< 00024 | CharlieBugList | 00026 >>