Author details

Aman Zineb<sup>1</sup> \*, Latifa Ezzine<sup>2</sup> and Haj El Moussami<sup>1</sup>

1 Mechanics and Integrated Engineering, ENSAM School, Moulay Ismail University, Meknes, Morocco

References

[1] Aman Z, Ezzine L, Fattah J, Lachhab A. Improving efficiency of a production

DOI: http://dx.doi.org/10.5772/intechopen.82445

Impact of Improving Machines' Availability Using Stochastic Petri Nets on the Overall…

[10] Specification and validation of protocols. IEEE Transactions on Communications. 1979;1680:1671

[11] Noe JD. A Petri net model of the CDC6400. In: Proc. ACMSIGOPS Workshop System Performance Evaluation. 1971. pp. 362-378

[12] Keller RM. Formal verification of parallel programs. Communications of

[13] Agerwala T. Putting Petri nets towork. IEEE Transactions on Computers. 1979:85-94

[14] Ramamoorthy CV. Performance evaluation of asynchronous concurrent

Transactions on Software Engineering.

[15] Cotronis JY, Lauer PE. Verification of Concurrent Systems of Processes, Tech. Rep. Univ. Newcastle-upon-Tyne;

[16] Baer JL, Gardarin G, Girault C, Roncairol G. The two-step commitment protocol: Modeling, specification and proofmethodology. In: Proceedings of the 7th International Conference on

[17] Zuberek WM. Timed Petri nets and preliminary performance evaluation. In: Proceedings of the IEEE 7th Annual Symposium on Computer Architecture.

Software Engineering. 1980

[18] Merlin PM, Farber DJ. Recoverability of communication protocols—Implications of a theoretical

study. IEEE Transactions on Communications. 1976:1036-1043

with applications to modeling occupancy times for concurrent task systems. Networks. 1979;9:375-379

[19] Shapiro SD. A stochastic Petri net

1980. pp. 89-96

systems using Petri nets. IEEE

1980;SE-6:440-449

1977. p. 97

the ACM. 1976;19:371-384

line by using overall equipment effectiveness: A case study. In: Proceedings of the International Conference on Industrial Engineering and Operations Management, Rabat,

Morocco, April 11–13. 2017.

Morocco, May 17–18. 2017

Belgium: Acco; 2000

77-95

Base; 1968

93

pp. 1048-1057. [Indexed in SCOPUS]

[3] Pintelon L, Gelders L, Puyvelde FV. Maintenance Management. Leuven,

[4] Wilson A. Asset Maintenance Management—A Guide to Developing Strategy & Improving Performance, Conference Communication; 1999

[5] Peterson JL. Petri nets. ACM Computing Surveys. 1977;9:223-252

[6] Hack M. The equality problem for vector addition systems is undecidable. Theoretical Computer Science. 1976;2:

[7] Holt AW et al. Information System Theory Project Report, Tech. Rep. RADC-TR-68-305. NY: Rome Air Development Center, Griffiss Air Force

[8] Miller RF. A comparison of some theoretical models of parallel computation. IEEE Transactions on Computers. 1973;C-22:710-717

[9] Meldman JA, Holt AW. Petri nets and legal systems. Jurimetrics: The Journal of Law, Science, and Technology. Dec 1971;12:65-75

[2] Aman Z, Ezzine L, Fattah J, El Moussami H. Improving efficiency of a production line by using value stream mapping and overall equipment effectiveness: A case study. In: Proceedings of the International Conference on Industrial Engineering and System Management, Meknes,

2 Modeling, Control Systems and Telecommunications, Faculty of Sciences, Moulay Ismail University, Meknes, Morocco

\*Address all correspondence to: zineb.aman@gmail.com

© 2019 The Author(s). Licensee IntechOpen. This chapter is distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/ by/3.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Impact of Improving Machines' Availability Using Stochastic Petri Nets on the Overall… DOI: http://dx.doi.org/10.5772/intechopen.82445
