International E-publication: Publish Projects, Dissertation, Theses, Books, Souvenir, Conference Proceeding with ISBN.  International E-Bulletin: Information/News regarding: Academics and Research

A Survey on Linear Algebraic Approaches for the Analysis of Petri Net based Models

Author Affiliations

  • 1Faculty of Information Technology, University of Central Punjab Lahore, PAKISTAN
  • 2 Department of Computer Science, Abdul Wali Khan University Mardan, PAKISTAN
  • 3 Department of Computer Science, GC University Lahore, PAKISTAN

Res. J. Recent Sci., Volume 2, Issue (5), Pages 21-28, May,2 (2013)

Abstract

Petri net (PN) as a graphical and mathematical formalism has extensively been used for the modeling, control and analysis of discrete event systems and it has been recognized as flexible modeling technique because it is well suited for modeling the multifarious constraints. This paper focuses on the recent developments in the area of linear algebraic techniques for the PN models for systems. Theoretical developments in the area of PN based applications in the design and analysis of the systems with the practical experiences are discussed and further identified the research trends in this area. The transitive matrix and the transition vectors based applications are also overviewed for the first time in the literature.

References

  1. Nikhil D., Rajesh A., Vijay M., Sandeep K., Mohit, Satyapal, Pardeep K., Thermodynamics and the Design, Analysis and Improvement of a Combined Heat and Power System, Res.J.Recent Sci., 1(3), 76-79 (2012)
  2. Ali B., Shahbazi S. and Vaezi S., Analysis of the Sampling in Quality Control Charts in non uniform Process by using a New Statistical Algorithm, Res. J. Recent Sci.,1(8), 36-41 (2012)
  3. Fam D.F., Koh S.P., Tiong S.K. and Chong K.H., Qualitative Analysis of Stochastic Operations in Dual Axis Solar Tracking Environment, Res. J. Recent Sci.,1(9), 74-78 (2012)
  4. Krishan K. and Aggarwal M.L., A Finite Element Approach for Analysis of a Multi Leaf Spring using CAE Tools, Res. J. Recent Sci.,1(2), 92-96 (2012)
  5. Balamuralitharan S. and Rajasekaran S., Analysis of G-CSF Treatment of CN using Fast Fourier Transform, Res. J. Recent Sci.,1(4), 14-21 (2012)
  6. Hrúz B. and Zhou M.C., Modeling and Control of Discrete-event Dynamic Systems: Advanced Textbooks in Control and Signal Processing,Springer-VerlagLondon Limited (2007)
  7. Jiao L., Huang H. and To-yat Cheung, , Handling resource sharing problem using property-preserving place fusions of Petri nets, Journal of Circuits, Systems, and Computers17, 365-387 (2008)
  8. Ahmad F., Khan S.A., Specification and verification of safety properties along a crossing region in a railway network control, Applied Mathematical Modeling, In Press, DOI:10.1016/j.apm.2012.10.047 (2012)
  9. Ahmad F., Huang H. J., and Wang X. L., Petri net modeling and deadlock analysis of parallel manufacturing processes with shared resources, Journal of Systems and Software,83, 675-688 (2010)
  10. Ahmad F., Huang H., Wang X-L., Analysis of the Petri net model of parallel manufacturing processes with shared resources, Information Sciences,181, 5249–5266 (2011)
  11. Murata T., Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE20(4),(1989)
  12. Desel J., Basic Linear Algebraic Techniques for Place/Transition Nets. In Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science, W. Reisig and G. Rozenberg (Eds.)1491, 257-308 (1998)
  13. Ahmad F., Huang H.J. and Wang X.L., Verification of Petri net models based on transition vectors, In Proc. IEEE Int. Conf. of ICMLC, 1542-1547 (2008)
  14. Best E., Structure Theory of Petri Nets: The Free Choice Hiatus, LNCS, Springer Verlag, 254, 168-205 (1987)
  15. Sifakis J., Structural Properties of Petri Nets, LNCS No. 64. Springer-Verlag, (1978)
  16. Murata T., State equation, controllability, and maximal matchings for Petri nets, IEEE Trans. Automat. Contr. Ac-22(3), 412 - 416 (1977)
  17. Li Z.W. and Zhou M.C., Deadlock Resolution in Automated Manufacturing Systems: Advances in Industrial Control, Springer-Verlag London Limited (2009)
  18. Barkaoui K., Chaoui A. and Zouari B., Supervisory control of discrete event systems based on structure theory of Petri nets, Proc. IEEE Int Systems, Man, and Cybernetics Computational Cybernetics and Simulation, Conf, , 3750-3755 (1997)
  19. Amer-Yahia C., Zerhouni N., El-Moudni A., Ferney M., State equation and stability of a class of continuous Petri nets. Application to manufacturing lines Proc. INRIA/IEEE Symp Emerging Technologies and Factory Automation ETFA '95, , 313-321 (1995)
  20. Demongodin I., Caradec M., Prunet F., Fundamental concepts of analysis in batches Petri nets, Proc. IEEE Int Systems, Man, and Cybernetics Conf, , 845-850 (1998)
  21. Zurawski R., Verifying correctness of interfaces of design models of manufacturing systems using functional abstractions, IEEE Transactions on Industrial Electronics, 44, 307-320 (1997)
  22. Ramachandran P., Kamath M., On place invariant sets and the rank of the incidence matrix of Petri nets, Proc. IEEE Int Systems, Man, and Cybernetics Conf, , 160-165 (1998)
  23. Miyazawa I., Kobayashi N., Sekiguchi T., The modeling and analyzing of sequential control systems using invariant properties of Petri net, Proc. IEEE IECON 22nd Int Industrial Electronics, Control, and Instrumentation Conf, , 451-456 (1996)
  24. Lu Y., Wei G., To-yat Cheung, A use case driven approach to synthesis and analysis of flexible manufacturing systems, Proc. IEEE Int Systems, Man, and Cybernetics Conf, , 2445-2450 (2001)
  25. Li L., Hadjicostis C.N. and Sreenivas R.S., Fault detection and identification in Petri net controllers, Proc. CDC Decision and Control 43rd IEEE Conf, , 5248-5253 (2004)
  26. Kezic D., Matic P. and Racic N., P-Invariant based Petri net traffic controller, Proc. 17th Mediterranean Conf. Control and Automation MED '09, 1096-1101 (2009)
  27. Ge J., Hu H. and Lu J., Invariant Analysis for the Task Refinement of Workflow Nets, Proc. Int Computational Intelligence for Modelling, Control and Automation and Int. Conf. Intelligent Agents, Web Technologies and Internet Commerce Conf (2006)
  28. Dideban A., and Alla H., From forbidden state to linear constraints for the optimal supervisory control, Control Engineering and Applied Informatics (CEAI), 7(3), 48–55 (2005)
  29. Dotoli M., Fanti M.P., Mangini A.M. and Ukovich W., On-line fault diagnosis in a Petri Net framework Proc. IEEE Int. Conf. Automation Science and Engineering CASE 2009, 42-47 (2009)
  30. Chen Y., Li Z., Khalgui M. and Mosbahi O., Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems, IEEE Transactions on Automation Science and Engineering, , 374-393 (2011)
  31. Chao D.Y., Enumeration of lost states of a suboptimal control model of a well-known S3PR, IET Control Theory and Applications, , 1277-1286 (2011)
  32. Liu J., Itoh Y., Miyazawa I., Seikiguchi T., A Research on Petri nets Properties using Transitive matrix, Proceeding IEEE SMC 99, 888-893 (1999)
  33. Song Y.J. and Lee J.K., Analysis of Petri net models using transitive matrix, Proc. IEEE Int Systems, Man, and Cybernetics Conf, , 3122-3127 (2000)
  34. Lee J-K., Korbaa O., Scheduling analysis of FMS: An unfolding timed Petri nets approach, Mathematics and Computers in Simulation, 70, 419-432(2006)
  35. 35.Lee J.K. and Korbaa O., Modeling and scheduling of ratio-driven FMS using unfolding time Petri nets, Computers and Industrial Engineering,46(4), 639-653 (2004)
  36. Kim S., Lee S., Lee J., Deadlock Analysis of Petri Nets Based on the Resource Share Places Relationship, Proc. IMACS Multiconference Computational Engineering in Systems Applications, , 59-64 (2006)
  37. Li J., H.J. Huang F. Ahmad, Deadlock avoidance of a kind of JSP with multi-resources sharing, In Proc. IEEE 11th Joint Conference on Information Science, 8th International Conference on Computational Intelligence and Natural Computing, Atlantis Press (2008)
  38. Ahmad F., Petri net Analysis based on Transition Vectors, PhD Thesis of Harbin Institute of Technology, China (2009)