data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Summary:
Spelling mistake when computing T-invariants
Created:
2011-03-30 13:53
Status:
Closed
Category:
Bug
Assigned:
Priority:
3
Program:
Charlie
Version:
Description:
When one computes the T-invariants of a PN and the PN is not CTI then it says in the output window that the PN is "is NOT covered by P-Invariants".
When one computes the T-invariants of a PN and the PN is not CTI then it says in the output window that the PN is "is NOT covered by P-Invariants".
Comments
<< 00004 | CharlieBugList | 00006 >>