The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - April (1990 vol.1)
pp: 170-183
ABSTRACT
<p>Real-time distributed systems are modeled by a times transition model (TTM). For any finite-state TTM, decision procedures are provided for checking a small but important class of properties (specified in real-time temporal logic). The procedures are linear in the size of the system reachability graph. The class of properties includes invariance, precedence, eventuality and real-time response specifications.</p>
INDEX TERMS
Index Termspetri nets; parallel program design; timed transition models; finite-state TTM; decision procedures; real-time temporal logic; system reachability graph; invariance; precedence; eventuality; real-time response specifications; decidability; formal logic; formal specification; parallel programming; programming theory; real-time systems
CITATION
J.S. Ostroff, "Deciding Properties of Timed Transition Models", IEEE Transactions on Parallel & Distributed Systems, vol.1, no. 2, pp. 170-183, April 1990, doi:10.1109/71.80145
28 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool