For the most recent entries see the Petri Nets Newsletter.

Analysis and Protection of Interprocess Communications in Real-time Systems.

Capenter, G.F.; Holding, D.J.; Tyrrell, A.M.

In: Proc. of the Int. Conf. on Software Engineering for Real-time Systems, Cirencester 1987, pages 135-143. London: IERE, 1987.

Abstract: Systems must be designed to produce a satisfactory response even in the presence of faults. Emphasis is placed on the incorporation of watchdog mechanisms into software to recognise timing problems. The paper investigates the dynamic behaviour of these mechanisms by Petri net analysis.

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

Back to the Petri Nets Bibliography