Jongkun Lee

DEADLOCK ANALYSISOFPETRINETSBASEDON THE RESOURCE SHAREPLACESRELATIONSHIP

Sanghwan Kim, Sangho Lee, Jongkun Lee, 2006 .

Scheduling analysis with resources share using the transitive matrix based on P-invariant

Jongkun Lee, 2002, Proceedings of the 41st SICE Annual Conference. SICE 2002..

Deadlock Analysis of Petri Nets Based on the Resource Share Places Relationship

Sanghwan Kim, Jongkun Lee, Sangho Lee, 2006, The Proceedings of the Multiconference on "Computational Engineering in Systems Applications".

Design of the Scheduler using the Division Algorithm Based on the Time Petri net

Jongkun Lee, 송유근, 2003 .

Modeling User Specification Based on Supervisor Control and Petri Nets

Jongkun Lee, Yujin Song, Jongwoog Kim, 2008, 2008 International Conference on Computational Intelligence for Modelling Control & Automation.

Vehicular Authentication Security Mechanism Modelling using Petri Net

Jongkun Lee, Youngchan Kim, Yoojin Song, 2015 .

A secure analysis of vehicular authentication security scheme of RSUs in VANET

Jongkun Lee, Yong-Chan Kim, 2016, Journal of Computer Virology and Hacking Techniques.

An Algorithm Study on Petri Nets based Accordion Keyboard Instruments Music for Flexible Play

Jongkun Lee, Jaeyoung Lim, 2009 .

Deadlock analysis of Petri nets using the transitive matrix

Jongkun Lee, Yujin Song, 2002, Proceedings of the 41st SICE Annual Conference. SICE 2002..