[資訊管理學系] 會議論文 1986-10
Synthesis and Performance Evaluation of Two-Party Error-Recoverable Protocols 趙玉
[資訊管理學系] 期刊論文 1994
An Interactive Tool for Design Simulation Verification and Synthesis of Protocols Chao, Daniel Yuh ; David T. Wang ; 趙玉
[資訊管理學系] 會議論文 1994
The Knitting technique and Its Application to communication Protocol Synthesis 趙玉
[資訊管理學系] 會議論文 1994
Petri Net Synthesis and Synchronization Using Knitting Technique 趙玉
[資訊管理學系] 期刊論文 1994-01
XPN-FMS:A Modeling And Simulation Software For FMS Using Petri Nets And X WINDOW 趙玉
[資訊管理學系] 期刊論文 1994-02
A Synthesis Technique for General Petri Nets 趙玉 ; Chao,Daniel Yuh ; Wang,David T.
[資訊管理學系] 會議論文 1994-10
Enhanced Knitting technique to Petri Net Synthesis 趙玉
[資訊管理學系] 會議論文 1994-10
Design of Command and Control Systems Using Petri Nets and Object-oriented technology 趙玉 ; M. C. Zhou ; D. Wang
[資訊管理學系] 國科會研究計畫 1995
快速設計網路及分散式系統之理論及軟體 趙玉
[資訊管理學系] 會議論文 1995-10
Bandwidth Algorithm for String Matching 趙玉 ; Wang D. T.
[資訊管理學系] 期刊論文 1995-10
Knitting Technique with TP-PT Generations for Petri Net Synthesis 趙玉 ; Chao,Daniel Yuh ; Wang, D.T.
[資訊管理學系] 會議論文 1995-10
New Knitting technique for Large Petri Net Synthesis with Automatic Preservation of Liveness Boundedness and reversibility 趙玉
[資訊管理學系] 會議論文 1995-10
Synchronized Choice Ordinary Petri Net 趙玉
[資訊管理學系] 期刊論文 1995-12
Application Of Final Matrix To Data Flow Graph Scheduling Using Multiprocessors 趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文 1995-12
Linear Algebra Based Verification of Well-Behaved Properties and P- Invariants of Petri Nets Synthesized Using Knitting Technique 趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 會議論文 1996
WAC`96 趙玉
[資訊管理學系] 會議論文 1996
ISRAM Symposium 趙玉
[資訊管理學系] 國科會研究計畫 1996
數值流程圖之最佳處理器分配理論及電腦輔助軟體發展 趙玉
[資訊管理學系] 會議論文 1996-01
A CAD Tool for Network Simulation Based on A Protocol Design CAD Tool 趙玉
[資訊管理學系] 期刊論文 1996-01
X-Window Implementation of an Algorithm to Synthesize Ordinary Petri Nets 趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 會議論文 1996-01
Final-Matrix Based and Fast Implementation of Recurrent DSP Scheduling 趙玉
[資訊管理學系] 會議論文 1996-03
A Fast Implementation For Recurrent DSP Scheduling Using Final Matrix 趙玉
[資訊管理學系] 會議論文 1996-05
Application of A Synthesis Algorithm to Flexible Manufacturing System 趙玉
[資訊管理學系] 會議論文 1996-07
A CAD Tool for Synthesis of Flexible Manufacturing System 趙玉
[第73期] 期刊論文 1996-10
X Window Implementation of an Algorithm to Synthesize Ordinary Petri Nets 趙玉 ; Chao, D. Y.
[資訊管理學系] 會議論文 1996-10
Final-Matrix based And Fast Implementation Of Recurrent DSP Scheduling 趙玉
[資訊管理學系] 期刊論文 1997-03
Performance of Multi-Rate Data Flow Graphs for Concurrent Processing 趙玉
[資訊管理學系] 期刊論文 1997-03
Performance of Multi-Rate Data Flow Graphs for Concurrent Processing 趙玉 ; Chao,Daniel Yuh
[資訊管理學系] 會議論文 1997-06
A CAD Tool for the Design of Protocol Petri Nets FMS and DSP 趙玉
[資訊管理學系] 期刊論文 1997-12
Two Theoretical and Practical Aspects of Knitting Technique:Invariants and A New Class of Petri Net 趙玉
[資訊管理學系] 期刊論文 1997-12
Knitting Technique and Structural Matrix for Deadlock Analysis and Synthesis of Petri Nets with Sequential Exclusion 趙玉
[資訊管理學系] 國科會研究計畫 1998
合成網路之新性質及合成規則之擴展 趙玉
[資訊管理學系] 研究報告 1998
以PETRI NET為基礎之流程定義分析元件 趙玉
[資訊管理學系] 期刊論文 1998-05
Conversion, Iteration Bound and X-Window Implementation for Multi-Rate Data flow Graphs 趙玉
[資訊管理學系] 期刊論文 1998-06
Application of a Synthesis Algorithm to Flexible Manufacturing System 趙玉
[資訊管理學系] 研究報告 1999
Workflow應用導入工具之研究與實作 趙玉
[資訊管理學系] 國科會研究計畫 1999
使用TP, PT 合成法內基本結構之探索及應用 趙玉
[資訊管理學系] 會議論文 1999
Some Properties of Synchronized Choice Ordinary Petri Nets 趙玉 ; Jau-Hung Tseng
[資訊管理學系] 會議論文 1999
Second Order Structures for Synchronized Choice Ordinary Petri Nets 趙玉 ; Jose A. Nicdao
[資訊管理學系] 會議論文 1999-05
The Algorithm for Synchronized Choice Net Detection 趙玉
[資訊管理學系] 期刊論文 1999-07
Petri Net Synthesis and Synchronization Using Knitting Technique 趙玉 ; Chao,Daniel Yuh
[資訊管理學系] 會議論文 1999-08
Theory of Second Order Structures for Synchronized Choice Ordinary Petri Nets 趙玉 ; Jose A. Nicdao ; Jih-Hsin Tang ; Yi-Kung Chen
[資訊管理學系] 會議論文 1999-10
The Algorithm for checking Liveness in synchronized Choice Net Detection 趙玉 ; Jose A. Nicdao
[資訊管理學系] 會議論文 2000
An Incremental Approach to Searching Minimal Siphons for Deadlock of Flexible Manufacturing Systems Jose A. Nicdao ; 趙玉
[資訊管理學系] 研究報告 2000
視覺化元件組裝工具與程式及文件產生器計畫結案報告 林我聰 ; 趙玉
[資訊管理學系] 國科會研究計畫 2000
使用漸進式法去尋找最小希馮及死結分析派翠網路模擬之彈性製造系統 趙玉
[資訊管理學系] 國科會研究計畫 2000
協同派翠網路之工具及擴充 趙玉
[資訊管理學系] 會議論文 2000-04
DCOM for Workflow Analysis and Simulation Based On Petr Nets 趙玉 ; Jose A. Nicdao
[資訊管理學系] 期刊論文 2000-05
A Fast Implementation for Recurrent DSP Scheduling Using Final Matrix 趙玉 ; Chao,Daniel Yuh
[資訊管理學系] 會議論文 2000-06
An Integrated Algorithm for verification of SNC and Liveness 趙玉
[資訊管理學系] 會議論文 2000-06
An Incremental Approach to Searching Minimal Siphons for Deallock Analysis of Flexible Manufacturing Systems 趙玉
[資訊管理學系] 會議論文 2000-12
Extened Synchronized Choice Nets Jose A. Nicdao ; 趙玉
[資訊管理學系] 國科會研究計畫 2001
最小吸虹之合成 趙玉
[資訊管理學系] 國科會研究計畫 2001
一個能分析彈性製造資源共享系統支派翠網路工具 趙玉
[資訊管理學系] 期刊論文 2001
Liveness for Synchronized Choice Petri Nets Chao, Daniel Yuh ; Jose A. Nicdao ; 趙玉
[資訊管理學系] 會議論文 2002
Firing sequences of Synchronized Choice Nets Chao, Daniel Yuh ; 趙玉
[資訊管理學系] 會議論文 2002
Reachability of synchronized choice Petri nets Chao, Daniel Yuh ; 趙玉
[資訊管理學系] 研究報告 2002-08
國立政治大學資訊科技白皮書 陳百齡 ; 何維信 ; 林呈潢 ; 李蔡彥 ; 趙玉 ; 田瑞華
[圖資與檔案學刊] 期刊論文 2003-11
館際合作和文獻提供：資訊時代的定位和展望 吳文慧 ; Wu, Wen-hui
[資訊管理學系] 國科會研究計畫 2004
S3PR 模型之增強至能處理一般資源的S3PGR, S2NPGR and S2WPGR模型 趙玉
[資訊管理學系] 期刊論文 2004
Extended Synchronized choice Nets 趙玉 ; Jose A. Nicdao
[資訊管理學系] 國科會研究計畫 2005
MRDFG的周期界的計算的提升 趙玉
[資訊管理學系] 國科會研究計畫 2005
僵局預防和虹吸管計算的提升 趙玉
[資訊管理學系] 期刊論文 2005-01
Reachability and Firing Sequences of Homogeneous Synchronized Choice Petri Nets 趙玉 ; Chao,Daniel Yuh
[資訊管理學系] 期刊論文 2005-12
Reachability of Non-Synchronized Choice Petri Nets and Its Applications 趙玉 ; Chao,Daniel Yuh
[資訊管理學系] 會議論文 2006
Knitting technique with TP-PT generations for petri net synthesis Chao, Daniel Yuh ; 趙玉
[資訊管理學系] 國科會研究計畫 2006
S2NPGR2 和S3PGR2的僵局控制 趙玉
[資訊管理學系] 國科會研究計畫 2006
擴大多項式Reachability 問題的網的種類 趙玉
[資訊管理學系] 期刊論文 2006-05
Computation of Elementary Siphons in Petri Nets For Deadlock Control 趙玉 ; Li,Zhiwu ; Zhou,Mengchu ; Chao,Daniel Yuh
[資訊管理學系] 期刊論文 2006-12
Maximal Class of Weakly Live Ordinary Petri Nets Without Emptiable Siphons 趙玉 ; Chao,Daniel Yuh
[資訊管理學系] 國科會研究計畫 2007
一個架構在有效基本虹吸計算的簡單僵局防止策略 趙玉
[資訊管理學系] 期刊論文 2007
Max` -Controlled Siphons for Liveness of S3PGR2 趙玉 ; Chao,Daniel Yuh
[資訊管理學系] 期刊論文 2007-01
A Graphic-Algebraic Computation of Elementary Siphons of BS3PR 趙玉 ; Chao,Daniel Yuh
[資訊管理學系] 期刊論文 2007-01
An Incremental Approach to Extracting Minimal Bad Siphons 趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文 2007-02
Correction to "Maximal Class of Weakly Live Ordinary Petri Nets Without Emptiable Siphons" 趙玉
[資訊管理學系] 期刊論文 2007-02
Virtual First-Order Structure 趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文 2007-05
Searching Strict Minimal Siphons for SNC-Based Resource Allocation Systems 趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文 2007-09
Comments on “Deadlock prevention and avoidance in FMS: a Petri net based approach” 趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 國科會研究計畫 2008
彈性製造之最佳控制 趙玉
[資訊管理學系] 期刊論文 2008-04
Technical note—reducing mip iterations for deadlock prevention of flexible manufacturing systems 趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 會議論文 2008-08
A Modification of Deadlock Prevention Policy of S3PR Based on Elementary Siphons/Workshop on Petri Nets and Agile Manufacturing 趙玉
[資訊管理學系] 期刊論文 2008-08
Revised dependent siphons 趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文 2009
Revised dependent siphons Chao, Daniel Y. ; 趙玉
[資訊管理學系] 國科會研究計畫 2009
單邊控制策略之擴充與可控性 趙玉
[資訊管理學系] 國科會研究計畫 2009
藉由控制地區精煉和錯誤恢復到達更多的狀態 趙玉
[資訊管理學系] 會議論文 2009-03
A Best Siphon-Based Control Model of A Well-Known S3PR 趙玉
[資訊管理學系] 會議論文 2009-03
Key Structure for Weakly Live General Petri Nets 趙玉
[資訊管理學系] 期刊論文 2009-04
Unfolding of Multirate Data-Flow Graph to Compute Iteration Bound 趙玉 ; Chao, Daniel Yuh
[應用數學系] 期刊論文 2009-05
Automated manufacturing system: virtual-nets or non-virtual-nets? 趙玉 ; Chao, D.Y.
[資訊管理學系] 會議論文 2009-09
Controllability for Siphons in S3PGR2 趙玉
[資訊管理學系] 期刊論文 2009-11
Direct Minimal Empty Siphon Computation Using MIP 趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文 2009-11
Deadlock Control for Weighted Systems of Simple Sequential Processes with Resources Requirement (WS3PR) 趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文 2010
Reaching more states for control of FMS Chao, Daniel Yuh ; 趙玉
[資訊管理學系] 國科會研究計畫 2010
最佳化控制的加強及新的避鎖死計畫 趙玉
[資訊管理學系] 會議論文 2010
Optimal control policy for a well-known S 3PR Chao, Daniel Yuh ; Chen, Jiun-Ting ; Wu, Kuo-Chiang ; 趙玉 ; 陳俊廷
[資訊管理學系] 專書/專書篇章 2010-04
A New Approach to Petri Net Synthesis:The Knitting Technique 趙玉 ; D.Y. Chao ; CHAO, YUH
[資訊管理學系] 期刊論文 2010-05
A Modified Definition of Characteristic P-Vector for Elementary Siphons in A Class of Petri Nets 趙玉 ; Chao,Daniel Y.
[資訊管理學系] 期刊論文 2010-05
Improved Controllability Test for Dependent Siphons in S3PR Based on Elementary Siphons 趙玉 ; Chao,Daniel Y.
[資訊管理學系] 期刊論文 2010-07
Conservative Control Policy for Weakly Dependent Siphons in S3PR Based on Elementary Siphons 趙玉 ; CHAO,DANIEL YUH
[資訊管理學系] 期刊論文 2010-07
Weighted Characteristic P-vector and Deadlock Control of WS3PR 趙玉 ; CHAO,DANIEL YUH
[資訊管理學系] 期刊論文 2010-09
A Best Deadlock Control for S3PMR to Reach All States Chao, Daniel Y. ; Chen, Ting-Yu ; Chen, Jiun-Ting ; Wu, Kuo-Chiang ; 趙玉
[資訊管理學系] 期刊論文 2010-11
Minimal strict siphons extraction for S3PMR 趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文 2010-12
Sequence of Control in S3PMR 趙玉 ; Shih, Yu-Ying ; Chao, Daniel
[資訊管理學系] 期刊論文 2010-12
A simple Suboptimal siphon-based control model of a well-known S3PR 趙玉 ; Chao, Daniel Yuh ; Liu, Guan Jun
[資訊管理學系] 期刊論文 2010-12
Fewer Monitors and More Efficient Controllability for Deadlock Control in S3PGR2 (Systems of Simple Sequential Processes with General Resource Requirements) 趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 國科會研究計畫 2011
S3PR的N-依賴虹吸管的可控性 趙玉
[資訊管理學系] 會議論文 2011
A new liveness characterization for S3PGR2 Chao, Daniel Yuh ; Chen, Jiun-Ting ; 趙玉
[資訊管理學系] 期刊論文 2011-01
A Necessary and Sufficient Condition for the Liveness of Normal Nets 趙玉 ; Liu, GuanJun ; Jiang, ChangJun ; Chao, Daniel Y.
[資訊管理學系] 期刊論文 2011-02
[alpha]-Siphons of a Suboptimal Control Model of a Subclass of Petri Nets 趙玉 ; Chao, Daniel Y.
[資訊管理學系] 期刊論文 2011-02
A simple modification of deadlock prevention policy of S3PR based on elementary siphons Chao, Yuh Daniel ; 趙玉
[資訊管理學系] 期刊論文 2011-04
Improvement of Suboptimal Siphon- and FBM-Based Control Model of a Well-Known S3PR 趙玉 ; Chao, D.Y.
[資訊管理學系] 期刊論文 2011-05
Formal Theory of State Loss of Siphon-based Deadlock Prevention 趙玉 ; Chao, D.Y.
[資訊管理學系] 會議論文 2011-06
A new liveness characterization for S 3PGR 2 Chao, Daniel Yuh ; Chen, Jiun-Ting ; 趙玉 ; 陳俊廷
[資訊管理學系] 期刊論文 2011-07
Enumeration of lost states of a suboptimal control model of a well-known S3PR Chao, Daniel Yuh ; 趙玉
[資訊管理學系] 期刊論文 2011-08
comments on Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems 趙玉 ; Chao, Daniel Y.
[資訊管理學系] 期刊論文 2011-08
A New Optimal Control Policy for A Well-Known S3PR (systems of simple sequential processes with resources Chao, Daniel Yuh ; 趙玉
[資訊管理學系] 期刊論文 2011-08
A new optimal control policy for a well-known S3PR (systems of simple sequential processes with resources) 趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文 2012
Controllability of control and mixture weakly dependent siphons in S3PR Chao, Daniel Yuh ; 趙玉
[資訊管理學系] 國科會研究計畫 2012
以最少顯示器達到最大許可的Petri網的一個子類的最快死鎖防止方法 趙玉
[資訊科學系] 會議論文 2012
Enumeration of reachable and other states of simple version of Systems of Simple Sequential Processes with Resources (S3PR) Chao, Daniel Yuh ; Yu, Fang ; 趙玉 ; 郁方
[資訊管理學系] 期刊論文 2012-01
Segment theory to compute elementary siphons in Petri nets for deadlock control 趙玉 ; 陳俊廷 ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文 2012-02
Controllability of Weakly Dependent Control and Mixture Siphons in S3PR 趙玉 ; Hong, Liang ; Chao, Daniel Y.
[資訊管理學系] 期刊論文 2012-07
A Merging Method for Reducing The Number of Monitors for Siphon-Based FMS Maximally Permissive Controllers 趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文 2012-07
Enumeration of Reachable States for Arbitrary Marked Graphs Hong, Liang ; Chao, Daniel Yuh ; 趙玉
[資訊管理學系] 期刊論文 2012-08
Structures for Weakly Dependent Siphons of S3PR 趙玉 ; Chao, Daniel Yuh ; Chen, Jiun Ting
[資訊管理學系] 期刊論文 2012-08
Improvement of set-covering Weighted Control Model of S3PR 趙玉 ; Chao, Daniel Yuh ; Lien, Yao Nan ; Chen, Jiun Ting ; Shih, Yu Ying
[資訊管理學系] 期刊論文 2012-12
Maximally permissive deadlock prevention via an invariant controlled method Liu, Gaiyun ; Chao,Daniel Y. ; Uzam, Murat ; 趙玉
[資訊管理學系] 期刊論文 2013
Controllability of weakly dependent siphons under elementary-siphon control Chao, Daniel Yuh ; Chen, Jiun-Ting ; Huang, J.-S. ; 趙玉 ; 陳俊廷
[資訊管理學系] 期刊論文 2013-01
Reaching Most States Via Refining Controller Regions for Supervisors of Two Well-Known S3PRs Chao, Daniel Yuh ; Chen, Jiun-Ting ; Uzam, Murat ; 趙玉
[資訊管理學系] 期刊論文 2013-01
Application of critical-siphon Theory to Fastest Deadlock Controller for A Class of Flexible Manufacturing Systems 姜國輝 ; 趙玉 ; Chiang, Johannes K. ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文 2013-01
A merging method for the siphon-based FMS maximally permissive controllers with simpler structures Liu, G.Y. ; Chao, Daniel Yuh ; Uzam, M. ; 趙玉
[資訊管理學系] 期刊論文 2013-03
Uniform Formulas for Compound Siphons, Complementary Siphons and Characteristic Vectors in Deadlock Prevention of Flexible Manufacturing Systems 趙玉 ; Chao,Daniel Yuh
[資訊管理學系] 期刊論文 2013-03
A Conjecture and Its Counter Example on the Lower Bounds of Monitor Solutions of Maximally Permissive Supervisors for a Subclass of Flexible Manufacturing Systems Guan, Xuanxuan ; Chen, Hung-Yi ; Chao, Daniel Yuh ; Wang, Anding ; Wang, Shouguang ; 陳鴻毅 ; 趙玉
[資訊管理學系] 期刊論文 2013-04
A novel liveness condition for S3PGR2 Chao, Daniel Y. ; Chen, Jiun-Ting ; Yu, Fang ; 趙玉
[資訊管理學系] 期刊論文 2013-08
An Integrated Approach for Supervisory Control of A Subclass of Petri Nets Chao, Daniel Y. ; WOO, K.C . ; 趙玉
[資訊管理學系] 期刊論文 2013-08
Control policy for a subclass of Petri nets without reachability analysis 趙玉 ; Liu, GaiYun ; Chao, Daniel Yuh ; Yu, Fang
[資訊管理學系] 期刊論文 2013-09
Structure of weakly 2-dependent siphons Chao, Daniel Yuh ; Chen, Jiun-Ting ; 趙玉 ; 陳俊廷
[資訊管理學系] 會議論文 2014
Enumeration of reachable, forbidden, live, and deadlock states of bottom k-th order system (with a left side non-sharing resource place) of Petri nets 趙玉 ; Chao, Daniel Yuh ; Yu, Tsung Hsien ; Liou, Chia Chang
[資訊管理學系] 期刊論文 2014
Revision on `Maximally permissive deadlock prevention via an Invariant Controlled Method` Chao, Daniel Yuh ; 趙玉
[資訊管理學系] 會議論文 2014
Parameterized of control related states of Middle Left K-net system (with a nonsharing resource place) of Petri nets 趙玉 ; Chao, Daniel Yuh ; Yu, Tsung Hsien
[資訊管理學系] 期刊論文 2014
Recursive solution of number of reachable states of a simple subclass of FMS 趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 會議論文 2014-01
Chang`: A new competitive thinking framework from the viewpoint of management information systems 趙玉 ; 游宗憲 ; Chao, Daniel Yuh ; Yu, Tsung Hsien
[資訊管理學系] 期刊論文 2014-06
Improvement on `A Merging Method for the Siphon-Based FMS Maximally Permissive Controllers with Simpler Structures` 趙玉 ; Chao, Yuh
[資訊管理學系] 期刊論文 2015
The fundamental closed-form solution of control-related states of kth order S3PR system with left-side non-sharing resource places of Petri nets Chao, Daniel Yuh ; Yu, Tsung Hsien ; 趙玉
[資訊管理學系] 國科會研究計畫 2015
S3PR的控制器合併理論之加強 趙玉
[資訊管理學系] 期刊論文 2015
Closed-form solution of controller synthesis for infinitely large systems of resource sharing systems of a subclass of Petri nets Chao, Daniel Y ; 趙玉
[資訊管理學系] 期刊論文 2015
Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller Liu, GaiYun ; Chao, Daniel Yuh ; 趙玉
[資訊管理學系] 期刊論文 2015
Extension of the lower bound of monitor solutions of maximally permissive supervisors to non-α net systems Wu, W.H. ; Chao, D.Y. ; 趙玉
[資訊管理學系] 期刊論文 2015-01
Improvement on structure of weakly 2-dependent siphons Chao, D.Y. ; 趙玉
[資訊管理學系] 期刊論文 2015-01
On the lower bound of monitor solutions of maximally permissive supervisors for a subclass α-S3PR of flexible manufacturing systems 趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 會議論文 2015-01
Enumeration of reachable, forbidden, live states of gen-left k-net system (with a non-sharing resource place) of Petri Nets 趙玉 ; Chao, Daniel Yuh ; Yu, Tsung Hsien
[資訊管理學系] 期刊論文 2015-03
Computation of control related states of bottom kth-order system (with a non-sharing resource place) of Petri nets Chao, Daniel Yuh ; 趙玉
[資訊管理學系] 會議論文 2015-06
Closed form formula construction to enumerate control related states of Bottom Left k-net S3PR system (with a Bottom Left side non-sharing resource place) of Petri nets 趙玉 ; Chao, Daniel Yuh ; Yu, Tsung Hsien
[資訊管理學系] 會議論文 2015-11
MLR: A new concept to launch a partial deadlock avoidance policy for k-th order system of Petri Nets 趙玉 ; Chao, Daniel Yuh ; Yu, Tsung Hsien
[資訊管理學系] 期刊論文 2015-12
Enumeration of reachable (forbidden, live and deadlock) states of kth order system of Petri nets Chao, Daniel Yuh ; 趙玉
[資訊管理學系] 期刊論文 2016-07
Proof by model: a new knowledge-based reachability analysis methodology for Petri net 趙玉 ; 季延平 ; 游宗憲 ; 游禮志 ; 李耀中
[資訊管理學系] 期刊論文 2016-08
Controllability of weakly dependent siphons under elementary-siphon control 趙玉 ; Wu, Wen Hui ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文 2017
Construct the closed-form solution of A-net of petri nets by case study Chao, Daniel Yuh ; 趙玉 ; Yu, Tsung Hsien ; 游宗憲 
