Hong-ju MOON


An Efficient Computing of the First Passage Time in an Extended Stochastic Petri Net
Hong-ju MOON Wook Hyun KWON 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/06/25
Vol. E83-A  No. 6  pp. 1267-1276
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
first passage timeextended stochastic Petri nettimed stochastic state machinesemi-Markov process
 Summary | Full Text:PDF

On State Avoidance Policies for Non-Ordinary Controlled Petri Nets with Uncontrollable Transitions
Young Cheol CHO Hong-ju MOON Wook Hyun KWON 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/11/25
Vol. E81-A  No. 11  pp. 2426-2432
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
forbidden state problemsnon-ordinary Petri netsdecision-free subnets
 Summary | Full Text:PDF

Feedback Control Synthesis for a Class of Controlled Petri Nets with Time Constraints
Hyeok Gi PARK Hong-ju MOON Wook Hyun KWON 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1997/06/25
Vol. E80-A  No. 6  pp. 1116-1126
Type of Manuscript:  PAPER
Category: Systems and Control
Keyword: 
cyclic place-timed controlled marked graphdiscrete event systemsforbidden conditionstate feedback control
 Summary | Full Text:PDF