In: IEEE Proceedings, Vol. 133, Pt. E, No. 4, pages 223-234. July 1986.
Abstract: The application of interval logic and modified labelled-net models for system specification and verification is introduced. By means of interval logic and modified labelled-net models, system properties involving time interval information can be specified and verified. The verification of system properties by derivation rules can be performed in the net space by net transformations which can be handled by an interactive computer.