:: Research Centre > Petri Nets for System Engineering Research Group

Home | Contact
Important Links


Research Groups

  1. Farooq Ahmad and S.A. Khan, Specification and verification of safety properties along a crossing region in a railway network control, Applied Mathematical Modeling, 37 (7): 5162–5170, 2013
  2. Farooq Ahmad and S. A. Khan, Module-based architecture for periodic job-shop scheduling problem, Computers & Mathematics with Applications, 64(1): 1-10, 2012
  3. G.A. Khan, S.A. Khan, N. A. Zafar, S. Islam, Farooq Ahmad, A Review of different Approaches of Land Cover Mapping, Life Science Journal; 9(4), 2012.
  4. Yousaf, S., Khan, S. A., Zafar, N. A., Ahmad, F., & Khan, M. A. Formal Analysis of Arrival Procedure of Air Traffic Control System. Life Science Journal, 9(4): 3094-98,  2012.
  5. S. Asif, S. A. Khan, Farooq Ahmad, G. A. Khan  and N. A. Zafar, Formalization of Oil and Gas Seismic Survey using Z-notation, Journal of American Science;8(12): 304-3102, 2012.
  6. S. A. Khan, Farooq Ahmad, and I. Fakhir, Structural Analysis Methods for Petri Net based Control Systems: a Review, Journal of American Science;8(11): 225-236, 2012.
  7. J. Iqbal, S. A. Khan , N. A. Zafar  and Farooq Ahmad, Modeling Supervisory Control of Autonomous Mobile Robots using Graph Theory, Automata and Z Notation, Journal of American Science;8(11): 123-128, 2012
  8. Yaser Daanial Khan, Farooq Ahmad, Muhammad Waqas Anwar "A Neuro-cognitive Approach for Iris Recognition Using Back Propagation" (2012.) World Applied Sciences Journal Vol:16 pp:678-685 (Journal)
  9. Sher Afzal Khan, Nazir Ahmad Zafar, Farooq Ahmad "Petri Net Modeling of Railway Crossing System using Fuzzy Brakes" (2011) , International Journal of Physical Sciences Vol:6(14) pp:3389-3397 (Journal)
  10. Farooq Ahmad, H. J. Huang, and X. L. Wang "Analysis of the Petri net model of parallel manufacturing processes with shared resources" (2011) Information Sciences Vol:181 (2011) pp:5249-5266 (Journal)
  11. Sher Afzal Khan, Nazir Ahmad Zafar and Farooq Ahmad "Extending Promotion to Operate Controller based on Trains Operation" (2011) International Journal of Physical Sciences Vol:6 (31) pp:7262 -7270 (Journal)
  12. Farooq Ahmad, Hejiao Huang, Xiao-long Wang "Petri net modeling and deadlock analysis of parallel manufacturing processes with shared resources" (2010) Journal of Systems and Software Vol:83 pp:675-688 (Journal)
  13. Farooq Ahmad, Hejiao Huang, Xiao-long Wang "Analysis of parallel manufacturing processes with resource sharing" (2010) International Journal of Computer Theory and Engineering Vol:2 pp:250-257 (Journal)
  14. S. Islam, C. Y. Zhou, Farooq Ahmad "Numerical Simulations of Cross-Flow around Four Square Cylinders in an In-Line Rectangular Configuration" (2009) International Journal of mathematical, Physical and Engineering Sciences Vol:3 pp:76-85 (Journal)
  15. Farooq Ahmad, Hejiao Huang, Xiao-long Wang "A technique for reachability graph generation for the Petri net models of parallel processes" (2009) International Journal of Computer Science and Engineering Vol:3 pp:57-61 (Journal)
  16. Farooq Ahmad, Sohail Chand "Log-linear models for religious and social factors affecting the practice of family planning methods in Lahore, Pakistan" (2006) Pakistan Journal of Statistics and Operation Research, Institute of Stat. University of the Punjab, Lahore Vol:2 pp:35-44 (Journal)
  17. Farooq Ahmad, Hejiao Huang, Xiao-long Wang "Analysis of the structure properties of Petri nets using transition vectors" (2008) Information Technology Journal Vol:7 pp:285-291 (Journal)
  18. Khan, Sher Afzal and Zafar, Nazir Ahmad (2011) Improving moving block railway system using fuzzy multi-agent specification language. International Journal of Innovative Computing Information and Control, 7 7B: 4517-4533.
  19. SA Khan, NA Zafar, F Ahmad, Petri net modeling of railway crossing system using fuzzy brakes International J. Phy. Sci 6 (14), 3389-3397
  20. Naeem A.Khan and Abdul Aziz " Partial Aggregation for Multidimensional Online Analytical Processing Structures” International Journal of Computer and Network Security” (IJCNS) Austria, Vienna. Vol. 2, No. 2, pp. 65-71.
  21. Farooq Ahmad, S-D Khan and S. A. Khan, Towards the Spatial Database Specification for GIS using Z-Notations, In Proceedings of the World Congress on Engineering and Computer Science (WCECS 2012) Vol I, pp. 179-184, 2012.
  22. S.A. Khan, S.I. Rao, N.A. Zafar, Farooq Ahmad, Flood Analysis and Prediction Support based on UML and Mobile Petri Net Specification and Verification, In Proceedings of the World Congress on Engineering and Computer Science (WCECS 2012), Vol. I pp. 84-88, 2012.
  23. N.A. Khan, S. Yousaf, Farooq Ahmad, S.A. Khan, Formal Modeling of ATC Signals using Z Notation. Accepted in IEEE, ICOSST’12 UET Lahore.





University of Central Punjab