TCT

TCT:一种用于监控综合的计算工具。TCT软件包是为非定时离散事件系统(DES)的监控综合而设计的。它可以从[6]下载,其中有两个不同的程序用于untimed DES:XPTCT,以前称为CTCT,用于windows95/98/2000/XP,LTCT用于Linux系统。这两个程序实现了完全相同的算法,但在不同的平台上。