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 time, extended stochastic Petri net, timed stochastic state machine, semi-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 problems, non-ordinary Petri nets, decision-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 graph, discrete event systems, forbidden condition, state feedback control, 
 Summary | Full Text:PDF