✦ LIBER ✦

Method of time Petri net analysis for analysis of fault trees with time dependencies

✍ Scribed by Magott, J.; Skrobanek, P.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Analysis of discrete-time stochastic pet

✍ W. M. P. Van Der Aalst; K. M. Van Hee; H. A. Reijers 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 533 KB

Time Coordination of Distance Protection

✍ Babczyński, T.; Lukowicz, M.; Magott, J. 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 550 KB

Reachability analysis of real-time syste

✍ Wang, J.; Deng, Y.; Xu, G. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 285 KB

Analysis of timed petri nets for reachab

✍ Nassar, Khaled; Casavant, Albert 📂 Article 📅 2008 🏛 Vilnius Gediminas Technical University 🌐 English ⚖ 631 KB

Reliability analysis method of a solar a

✍ Jianing Wu; Shaoze Yan; Liyang Xie 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 584 KB

Compositional schedulability analysis of

✍ Dianxiang Xu; Xudong He; Yi Deng 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 452 KB