Author:
Verma Ajit Kumar,Srividya A.,Rana Anil
Publisher
Springer Science and Business Media LLC
Subject
Strategy and Management,Safety, Risk, Reliability and Quality
Reference14 articles.
1. Ajmone Marsan M, Conte G, Balbo G (1984) A class of generalised petrinets for the performance evaluation of multiprocessor systems. ACM Trans Comput Syst 2:93–122
2. Ammar HH, Huang YF, Liu RW (1987) Hierarchical models for systems reliability, maintainability and availability. IEEE Trans Circuit Syst 34:629–638
3. Billington J, Wheeler GR, Wilbur-Ham MC (1988) PROTEAN: a high level petrinet tool for the specification and verification of communication protocols. IEEE Trans Softw Eng 14:301–331
4. A Chaillet, M Combacau ,M Courvoisier (1993) Specification of FMS real time control based on petrinets with objects and process failure monitoring. In: Proceedings IECON-93, Hawaii 1993, pp 144–149
5. Chiola GA (1985) Software package for the analysis of generalized stochastic petri net models. In: Proceedings of international workshop on timed petri nets. Torino Italy, Jul 1–3, 1985, pp 136–143
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Maintenance of Large Engineering Systems;Lecture Notes in Mechanical Engineering;2015-12-15