For the most recent entries see the Petri Nets Newsletter.

Microcomputer System Specification Using Interval Logic and a Modified Labelled Net Model.

Li, H.F.; Cheung, Y.S.; Chiu, P.P.K.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography