Open Access Open Access  Restricted Access Subscription or Fee Access

Interval Valued Generalized Stochastic Petri Nets for Imprecise Modeling in Unavailability Assessment


(*) Corresponding author


Authors' affiliations


DOI: https://doi.org/10.15866/iree.v12i5.11920

Abstract


In this paper, we handle the issue of imprecision in evaluating the performance of the systems using Generalized Stochastic Petri Nets (GSPN). The basic probabilities generally considered in this type of nets are replaced by an interval-valued probability. This allows analysts to express their uncertainties related to the parameters of the different elements of the system and to assess the effect of this uncertainty on industrial system unavailability. Results obtained from varying the unavailability give some insights into the performance of the studied system. It is demonstrated how the imprecision led to important changes in the performance of the system. The used approach combines Generalized Stochastic Petri Nets (GSPN) and interval method to validate the obtained results obtained applied in safety systems.
Copyright © 2017 Praise Worthy Prize - All rights reserved.

Keywords


Generalized Stochastic Petri Nets; Unavailability; Imprecision; Interval

Full Text:

PDF


References


J. P. Signoret, Y. Dutuit, P. J. Cacheux, C. Folleau, S. Collas and P. Thomas, "Make your petri nets understandable: Reliability block diagrams driven petri nets," Reliability Engineering and Safety System, vol. 113, no. 0, pp. 61-75, 2013.
http://dx.doi.org/10.1016/j.ress.2012.12.008

Y. Chen, "Reliability analysis of a fire alarm system," Procedia Engineering, vol. 24, pp. 731- 736, 2011.
http://dx.doi.org/10.1016/j.proeng.2011.11.2727

D. Vernez, D. Buchs and G. Pierrehum bert, "Perspectives in the use of coloured Petri nets for risk analysis and accident modelling," Safety Science, vol. 41, no. 5, pp. 63-445, 2003.
http://dx.doi.org/10.1016/s0925-7535(01)00078-9

Y. Dutuit, E. Chatelet, J. P. Signoret and P. Thomas, "Dependability modelling and evaluation by using Stochastic Petri Nets: application to two tests cases," Reliability Engineering and System Safety, ISSN 0951-8320, vol. 55, pp. 117-124, 1997.
http://dx.doi.org/10.1016/s0951-8320(96)00108-1

T. Liu and S. Chiou, "The application of Petri nets to failure analysis," Reliability Engineering and System Safety, vol. 57, no. 2, pp. 42-192, 1997.
http://dx.doi.org/10.1016/s0951-8320(97)00030-6

IEC61508, "Functional safety of Electrical/Electronic/Programmable Electronic Safety-related systems (part1–7)," International Electrotechnical Commission, Geneva, 2010.
http://dx.doi.org/10.3403/30143458

IEC60300, "Dependability management : application guide analysis techniques for dependability–guide on methodology (part1–3)," International Electrotechnical Commission, Geneva, 2003.
http://dx.doi.org/10.3403/02778396

IEC62551, "Analysis techniques for dependability - Petri net techniques," International Electrotechnical Commission, Geneva, 2012.
http://dx.doi.org/10.3403/30175183

L. Utkin and F. Coolen, "New metaheuristics, neural and fuzzy techniques in reliability ser.," Computational intelligence in reliability engineering Imprecise reliability: An introductory overview, vol. 2, no. 10, pp. 261-306, 2007.
http://dx.doi.org/10.1007/978-3-540-37372-8_10

A. S. Markowski, M. S. Mannan, A. K. Bigoszewska and D. Siuta, "Uncertainty aspects in process safety analysis," Journal of Loss Prevention in the Process Industries, vol. 23, no. 3, pp. 446-454, 2010.
http://dx.doi.org/10.1016/j.jlp.2010.02.005

I. Kozine and L. Utkin, "Interval valued finite markov chains," Reliable computing, vol. 8, pp. 97-113, 2002.
http://dx.doi.org/10.1023/a:1014745904458

F. Tüysüz and C. Kahraman, "Modeling a flexible manufacturing cell using stochastic petri nets with fuzzy parameters," Expert Systems with Applications, vol. 37, no. 5, pp. 3910-3920, 2010.
http://dx.doi.org/10.1016/j.eswa.2009.11.026

W. Mechri, "Evaluation de la performance des Systèmes Instrumentés de Sécurité à paramètres imprécis," [Ph.D. dissertation], University of Tunis El Manar, Tunisia, 2011.
http://dx.doi.org/10.17485/ijst/2018/v11i2/117723

IEC61511, "Functional Safety : Safety Instrumented Sustems for the process industry sector," International Electrotechnical Commission, Geneva, 2003.
http://dx.doi.org/10.3403/bsen61511

S. Chew, S. Dunnett and J. Andrews, "Phased mission modelling of systems with maintenance-free operating periods using simulated petrinets," Reliability Engineering & System Safety, vol. 93, no. 7, pp. 980-994, 2008.
http://dx.doi.org/10.1016/j.ress.2007.06.001

W. Mechri, C. Simon and K. BenOthman, "Uncertainty analysis ofcommon cause failure in safety instrumented systems," Proceedings of the Institution of Mechanical Engineers Part O Journal of Risk and Reliability, vol. 225, no. 4, pp. 450-460, 2012.
http://dx.doi.org/10.1177/1748007810395668

H. Guo and X. Yang, "A simple reliability block diagram method for safety integrity verification," Reliability Engineering and System Safety, vol. 92, no. 9, pp. 1267-1273, 2007.
http://dx.doi.org/10.1016/j.ress.2006.08.002

W. Snene, W. Mechri and k. Ben Othman, "Imprecise assessement of systems performance using generalized stochastic Petri nets," International Journal of Scientific Research & Engineering Technology (IJSET), vol. 3, no. 3, pp. 83-86, 2015.
http://dx.doi.org/10.1109/icmic.2015.7409410

K. Trivedi, G. Ciardo, M. Malhotra and S. Garg, "Dependability and performability analysis using stochastic petri nets", in 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. Lecture Notes in Control and Information Sciences, G. Cohenand J.-P. Quadrat, Eds. Springer Berlin Heidelberg, vol. 199, pp. 144-157, 1994.
http://dx.doi.org/10.1007/bfb0033543

G. Balbo, "Introduction to generalized stochastic petri nets," in Formal Methods for Performance Evaluation, ser. Lecture Notes in Computer Science, M. Bernardo and J. Hillston, Eds. Springer Berlin Heidelberg, vol. 4486, pp. 83-131, 2007.
http://dx.doi.org/10.1007/978-3-540-72522-0_3

Y. Dutuit, F. Innal, A. Rauzy and J.-P. Signoret, "Probabilistic assessments in relationship with safety integrity levels by using fault trees," 17th European Safety and Reliability Conference: Reliability Engineering & System Safety, vol. 93, no. 12, pp. 1867-1876, 2008.
http://dx.doi.org/10.1016/j.ress.2008.03.024

M. Marsan, G. Balbo, G. Chiola, G. Conte and A. Cumani, "Generalized stochastic petri nets: a definition at the net level and its implications," IEEE Transactions on Software Engineering, vol. 19, pp. 89-107, 1993.
http://dx.doi.org/10.1109/32.214828

K. M. Molloy, "Performance analysis using stochastic Petri nets," IEEE Trans. Comp, vol. 31, no. 9, pp. 913-917, Sept 1982.
http://dx.doi.org/10.1109/tc.1982.1676110

G. Balbo, G. Chiola, G. Franceschinis and G. Molinar Roet, "On the efficient construction of tangible reachability graph of generalized stochastic Petri nets," in Proc. Int. Workshop Petri Nets and Performance Models, Madison, Wi, 1987.
http://dx.doi.org/10.1109/robot.1987.1087864

M. A. Marsan, G. Balbo and G. Conte, "A class of Generalized Stochastic Petri Nets for the performance evaluation of multiprocessor systems," ACM Trans. Comp. Syst, vol. 2, no. 2, pp. 93-122, May 1984.
http://dx.doi.org/10.1145/190.191

M. Ibl and J. Capek, "Mesure of Uncertainty in Process Models Using Stochastic Petri Nets applications and Shannon Entropy," Entropy, pp. 18-33, 2016.
http://dx.doi.org/10.3390/e18010033

J. B. Dugan, K. S. Trivedi, R. M. Geist and V. F. Nicola, "Extended Stochastic Petri Nets: applications and analysis," in Performance ’84, E. Gelenbe, Ed., Paris, France, North Holland, Déc 1984.
http://dx.doi.org/10.21236/ada148439

J. Buckley and E. Eslami, "Fuzzy markov chains: Uncertain probabilities," Math Ware and Soft Computing, vol. 9, 2002.
http://dx.doi.org/10.1007/978-3-540-36426-9_4

L. Jaulin, M. Kieffer, O. Didrit and E. Walter, "Applied interval analysis," Springer Verlag, 2001.
http://dx.doi.org/10.1007/978-1-4471-0249-6_3

R. Moore, "Methods and applications of interval analysis," SIAM Studies in Applied Mathematics, Siam, Philadelphia, 1979.

R. Moore, "Interval Analysis," Prentice Hall, Englewood Clifs, NY, USA, 1966.

M. Zaouche, A. Belloula, R. Louali, S. Bouaziz and M. Hamerlain, "Using interval contrained Petri Nets and timed automata for modelling of discrete event systems," wulfenia, vol. 20, no. 7, 2013.
http://dx.doi.org/10.5829/idosi.ije.2014.27.01a.14

C. Baudrit, D. Guyonnet and D. Dubois, "Joint propagation of variability and imprecision in assessing the risk of groundwater contamination," Journal of Contaminant Hydrology, vol. 93, no. 1-4, pp. 72-84, 2007.
http://dx.doi.org/10.1016/j.jconhyd.2007.01.015

D. Berleant and J. Zhang, "Bounding the times to failure of 2-component systems," IEEE Transactions on Reliability, vol. 53, no. 4, pp. 542-550, 2004.
http://dx.doi.org/10.1109/tr.2004.837315

TOTAL, "GRIF: GRaphical Interface for reliability Forecasting," 2014. [Online]. Available: http://grif-workshop.fr/tag/total.

Sathiracheewin, S., Surapatana, V., Rerkpreedapong, D., Land-Use Change Prediction by CA-Markov Method for Electric Load Density Map, (2015) International Review on Modelling and Simulations (IREMOS), 8 (4), pp. 436-445.
http://dx.doi.org/10.15866/iremos.v8i4.6557

Muhammed, S., Venkata Mahesh, P., Mathew, A., Sunil Kumar, T., Model Approximation and Controller Synthesis for H∞ Robust Control of Multiple Time Delay Transfer Functions, (2016) International Review of Automatic Control (IREACO), 9 (1), pp. 1-10.
http://dx.doi.org/10.15866/ireaco.v9i1.8331

Smirnov, Y., Halimon, V., Double Layer Gateway Model for Connection Between Production Network and Enterprise Network, (2015) International Review of Automatic Control (IREACO), 8 (1), pp. 44-50.
http://dx.doi.org/10.15866/ireaco.v8i1.4897

Derai, S., Ghoul, R., Alla, H., Modeling and Control of a Tow-Lanes Isolated Crossroads, (2014) International Review of Automatic Control (IREACO), 7 (6), pp. 568-575.
http://dx.doi.org/10.15866/ireaco.v7i6.4317


Refbacks

  • There are currently no refbacks.


Please send any question about this web site to info@praiseworthyprize.com
Copyright © 2005-2024 Praise Worthy Prize