International Journal of Soft Computing

Year: 2012
Volume: 7
Issue: 2
Page No. 38 - 43

Deadlock Avoidance in the Operating Systems with Using Coloured Petri Nets

Authors : Shahram Moharrami and Adalat Karimov

References

Abraham, S., 1999. Operating System Concepts. 5th Edn., John Wely and Sons, New York, NY, USA.

Bostan-Korpeoglu, B. and A. Yazici, 2007. A fuzzy petri net model for intelligent database. Data Knowledge Eng., 62: 219-247.
CrossRef  |  

Fereydun, S. and Z. Safa, 2008. An algorithm for modeling expert systems using fuzzy colored Petri Nets. M.Sc. Thesis, Shahid Beheshti University, Iran.

Jensen, K., 1997. A brief introduction to coloured petri nets. Proceedings of the 3rd International Workshop on Tools and Algorithms for Construction and Analysis of Systems, April 2-4, 1997, Springer Verlag London, UK., pp: 203-208.

Jensen, K., L.M. Kristensen, L. Wells, 1996. Coloured petri nets and cpn tools for modeling. http://link.springer.

Karimov, A. and S. Moharrami, 2007. On approaches to automatic classification of object states based on new decision rule. Proc. Int. Conf. Soft Comp. Technol. Econ., 1: 107-116.

Karimov, A. and S. Moharrami, 2010. Automatic classification with neural networks using new decision rule. Int. J. Applied Mathe. Stat., 19: 90-96.

Motameni, H., 2006. Using markov theory for deriving non-functional parameters on transformed petri net from activity diagram. Proceedings of the Software Engineering Conference (Russia), November 16-17, 2006, Moscow, Russi, -.

Murata, T., 1989. Petri nets: Properties, analysis and applications. Proc. IEEE., 77: 541-580.
CrossRef  |  Direct Link  |  

Peterson, J., 1981. Petri Net Theory and the Modeling of Systems. Prentice-Hall, New Jersy, USA.

Rasul, J., 2005. Modeling vulnerabilities of computer networks using colored Petri Nets. Proceedings of the 11th International Computer Conference of Iranian Computer Association, May 19-21, 2005, Istanbul, Turkey, -.

Ruhollah, B. and P. Nets, 2007. Modeling internet-based remote control systems using Petri Nets. Proceedings of the 1st National Conference on Computer Engineering, March 27, 2008, Islamic Azad University, Lahijan, Iran -.

Design and power by Medwell Web Development Team. © Medwell Publishing 2024 All Rights Reserved