The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - March (1989 vol.15)
pp: 314-326
ABSTRACT
<p>A method is presented for detecting deadlocks in Ada tasking programs using structural; and dynamic analysis of Petri nets. Algorithmic translation of the Ada programs into Petri nets which preserve control-flow and message-flow properties is described. Properties of these Petri nets are discussed, and algorithms are given to analyze the nets to obtain information about static deadlocks that can occur in the original programs. Petri net invariants are used by the algorithms to reduce the time and space complexities associated with dynamic Petri net analysis (i.e. reachability graph generation).</p>
INDEX TERMS
Ada static deadlocks; Petri net invariants; Ada tasking programs; control-flow; message-flow; complexities; Ada; computational complexity; concurrency control; Petri nets; program testing; system recovery.
CITATION
T. Murata, B. Shenker, S.M. Shatz, "Detection of Ada Static Deadlocks Using Petri Net Invariants", IEEE Transactions on Software Engineering, vol.15, no. 3, pp. 314-326, March 1989, doi:10.1109/32.21759
7 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool