In: Real-time Applications of Computers in Enginneering, Conf. Proc., pages 28-32. 1986.
Abstract: The use of Petri Net theory for the analysis and design of real-time systems is advocated in this paper. The methodology involves firstly the representation of the essential interaction features of a system with a Petri Net model. Then various analysis techniques can be applied to the net to extract information about desirable and undesirable behaviour.