Abstract
A practical experience of design with Petri-nets is described, which basically consists in the analysis and implementation of recovery strategies within the project of a large stored program controlled electronic switching system.
Emphasis is put on the optimum adequacy of Petri-nets for the analysis and representation of all fault-tolerance related phenomena.
Net tailoring and adaptation to the peculiar application is also briefly discussed together with a short outline of the interactive design aids specially developed for this purpose.
A summary of unsolved or still open problems, all of which are currently under study concludes the presentation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
T. F. Arnold. F. Arnold,“The concept of coverage and its effects on the reliability model of a repairable system”,presented at the 2nd Int’l Symposium on Fault Tolerant Computing,Newton,Ma.,U.S.A.,june 1972.
W. Brauer et al.,“Net Theory and Applications”proceedings of the Advanced Course on General Net Theory of Processes and Systerns,Hamburg,Ger many,1979.
T. S. Chow. S. Chow,“Analysis of software design modeled by multiple finite state machines”,presented at COMP’SAC 1978,Chicago,111.,U.S.A.,november 1978.
M.Morganti and G.Novielli,“Alarm collection, test, and recovery from failures of peripheral equipment in the DTN1 telephone exchange”,presented at the 2nd Int’l Conference on Fault Tolerant Systems and Diagnos tics,Brno,Czecoslovakia,September 1979.
J.L.Peterson,“Petri-nets”,ACM Computing Surveys,September 1977.
J.Sifakis,“Deadlock and livelock in transition systems”, IMAG Report RR No.185,Université de Grenoble,France,january 1980.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Morganti, M. (1982). Petri-Net Implementation of Recovery Strategies in a Large ESS. In: Girault, C., Reisig, W. (eds) Application and Theory of Petri Nets. Informatik-Fachberichte, vol 52. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68353-4_37
Download citation
DOI: https://doi.org/10.1007/978-3-642-68353-4_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11189-4
Online ISBN: 978-3-642-68353-4
eBook Packages: Springer Book Archive