CSTNU Tool: A Java library for checking temporal networks

Abstract

This paper presents CSTNU Tool , a Java library for representing and checking different kinds of temporal constraint networks. In particular, CSTNU Tool offers an optimized implementation of some constraint-propagation algorithms to check the dynamic consistency/controllability (DC) of Conditional Simple Temporal Networks (CSTNs), Conditional Simple Temporal Networks with Uncertainty (CSTNUs), and Flexible Simple Temporal Networks with Uncertainty (FTNUs). The optimization is with respect to the management of labeled values that are present in conditional and flexible networks.The library offers also a simple GUI application to build/manage and check temporal networks in an intuitive way, and some Java programs for generating random temporal networks according to some input parameters.

Keywords

• Temporal constraint network
• Consistency check
• Dynamic controllability check
• Constraint propagation algorithm