[圖資與檔案學刊] 期刊論文
2003-11
館際合作和文獻提供:資訊時代的定位和展望
吳文慧 ; Wu, Wen-hui
[應用數學系] 期刊論文
2009-05
Automated manufacturing system: virtual-nets or non-virtual-nets?
趙玉 ; Chao, D.Y.
[第73期] 期刊論文
1996-10
X Window Implementation of an Algorithm to Synthesize Ordinary Petri Nets
趙玉 ; Chao, D. Y.
[資訊科學系] 會議論文
2012
Enumeration of reachable and other states of simple version of Systems of Simple Sequential Processes with Resources (S3PR)
Chao, Daniel Yuh ; Yu, Fang ; 趙玉 ; 郁方
[資訊管理學系] 國科會研究計畫
2015
S3PR的控制器合併理論之加強
趙玉
[資訊管理學系] 國科會研究計畫
2012
以最少顯示器達到最大許可的Petri網的一個子類的最快死鎖防止方法
趙玉
[資訊管理學系] 國科會研究計畫
2011
S3PR的N-依賴虹吸管的可控性
趙玉
[資訊管理學系] 國科會研究計畫
2010
最佳化控制的加強及新的避鎖死計畫
趙玉
[資訊管理學系] 國科會研究計畫
2009
單邊控制策略之擴充與可控性
趙玉
[資訊管理學系] 國科會研究計畫
2009
藉由控制地區精煉和錯誤恢復到達更多的狀態
趙玉
[資訊管理學系] 國科會研究計畫
2008
彈性製造之最佳控制
趙玉
[資訊管理學系] 國科會研究計畫
2007
一個架構在有效基本虹吸計算的簡單僵局防止策略
趙玉
[資訊管理學系] 國科會研究計畫
2006
S2NPGR2 和S3PGR2的僵局控制
趙玉
[資訊管理學系] 國科會研究計畫
2006
擴大多項式Reachability 問題的網的種類
趙玉
[資訊管理學系] 國科會研究計畫
2005
MRDFG的周期界的計算的提升
趙玉
[資訊管理學系] 國科會研究計畫
2005
僵局預防和虹吸管計算的提升
趙玉
[資訊管理學系] 國科會研究計畫
2004
S3PR 模型之增強至能處理一般資源的S3PGR, S2NPGR and S2WPGR模型
趙玉
[資訊管理學系] 國科會研究計畫
2001
最小吸虹之合成
趙玉
[資訊管理學系] 國科會研究計畫
2001
一個能分析彈性製造資源共享系統支派翠網路工具
趙玉
[資訊管理學系] 國科會研究計畫
2000
使用漸進式法去尋找最小希馮及死結分析派翠網路模擬之彈性製造系統
趙玉
[資訊管理學系] 國科會研究計畫
2000
協同派翠網路之工具及擴充
趙玉
[資訊管理學系] 國科會研究計畫
1999
使用TP, PT 合成法內基本結構之探索及應用
趙玉
[資訊管理學系] 國科會研究計畫
1998
合成網路之新性質及合成規則之擴展
趙玉
[資訊管理學系] 國科會研究計畫
1996
數值流程圖之最佳處理器分配理論及電腦輔助軟體發展
趙玉
[資訊管理學系] 國科會研究計畫
1995
快速設計網路及分散式系統之理論及軟體
趙玉
[資訊管理學系] 專書/專書篇章
2010-04
A New Approach to Petri Net Synthesis:The Knitting Technique
趙玉 ; D.Y. Chao ; CHAO, YUH
[資訊管理學系] 會議論文
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-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-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
[資訊管理學系] 會議論文
2014-01
Chang`: A new competitive thinking framework from the viewpoint of management information systems
趙玉 ; 游宗憲 ; Chao, Daniel Yuh ; Yu, Tsung Hsien
[資訊管理學系] 會議論文
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
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
[資訊管理學系] 會議論文
2011-06
A new liveness characterization for S 3PGR 2
Chao, Daniel Yuh ; Chen, Jiun-Ting ; 趙玉 ; 陳俊廷
[資訊管理學系] 會議論文
2011
A new liveness characterization for S3PGR2
Chao, Daniel Yuh ; Chen, Jiun-Ting ; 趙玉
[資訊管理學系] 會議論文
2010
Optimal control policy for a well-known S 3PR
Chao, Daniel Yuh ; Chen, Jiun-Ting ; Wu, Kuo-Chiang ; 趙玉 ; 陳俊廷
[資訊管理學系] 會議論文
2009-09
Controllability for Siphons in S3PGR2
趙玉
[資訊管理學系] 會議論文
2009-03
A Best Siphon-Based Control Model of A Well-Known S3PR
趙玉
[資訊管理學系] 會議論文
2009-03
Key Structure for Weakly Live General Petri Nets
趙玉
[資訊管理學系] 會議論文
2008-08
A Modification of Deadlock Prevention Policy of S3PR Based on Elementary Siphons/Workshop on Petri Nets and Agile Manufacturing
趙玉
[資訊管理學系] 會議論文
2006
Knitting technique with TP-PT generations for petri net synthesis
Chao, Daniel Yuh ; 趙玉
[資訊管理學系] 會議論文
2002
Firing sequences of Synchronized Choice Nets
Chao, Daniel Yuh ; 趙玉
[資訊管理學系] 會議論文
2002
Reachability of synchronized choice Petri nets
Chao, Daniel Yuh ; 趙玉
[資訊管理學系] 會議論文
2000-12
Extened Synchronized Choice Nets
Jose A. Nicdao ; 趙玉
[資訊管理學系] 會議論文
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-04
DCOM for Workflow Analysis and Simulation Based On Petr Nets
趙玉 ; Jose A. Nicdao
[資訊管理學系] 會議論文
2000
An Incremental Approach to Searching Minimal Siphons for Deadlock of Flexible Manufacturing Systems
Jose A. Nicdao ; 趙玉
[資訊管理學系] 會議論文
1999-10
The Algorithm for checking Liveness in synchronized Choice Net Detection
趙玉 ; Jose A. Nicdao
[資訊管理學系] 會議論文
1999-08
Theory of Second Order Structures for Synchronized Choice Ordinary Petri Nets
趙玉 ; Jose A. Nicdao ; Jih-Hsin Tang ; Yi-Kung Chen
[資訊管理學系] 會議論文
1999-05
The Algorithm for Synchronized Choice Net Detection
趙玉
[資訊管理學系] 會議論文
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
[資訊管理學系] 會議論文
1997-06
A CAD Tool for the Design of Protocol Petri Nets FMS and DSP
趙玉
[資訊管理學系] 會議論文
1996-10
Final-Matrix based And Fast Implementation Of Recurrent DSP Scheduling
趙玉
[資訊管理學系] 會議論文
1996-07
A CAD Tool for Synthesis of Flexible Manufacturing System
趙玉
[資訊管理學系] 會議論文
1996-05
Application of A Synthesis Algorithm to Flexible Manufacturing System
趙玉
[資訊管理學系] 會議論文
1996-03
A Fast Implementation For Recurrent DSP Scheduling Using Final Matrix
趙玉
[資訊管理學系] 會議論文
1996-01
A CAD Tool for Network Simulation Based on A Protocol Design CAD Tool
趙玉
[資訊管理學系] 會議論文
1996-01
Final-Matrix Based and Fast Implementation of Recurrent DSP Scheduling
趙玉
[資訊管理學系] 會議論文
1996
WAC`96
趙玉
[資訊管理學系] 會議論文
1996
ISRAM Symposium
趙玉
[資訊管理學系] 會議論文
1995-10
Bandwidth Algorithm for String Matching
趙玉 ; 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
趙玉
[資訊管理學系] 會議論文
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
[資訊管理學系] 會議論文
1994
The Knitting technique and Its Application to communication Protocol Synthesis
趙玉
[資訊管理學系] 會議論文
1994
Petri Net Synthesis and Synchronization Using Knitting Technique
趙玉
[資訊管理學系] 會議論文
1986-10
Synthesis and Performance Evaluation of Two-Party Error-Recoverable Protocols
趙玉
[資訊管理學系] 期刊論文
2017
Construct the closed-form solution of A-net of petri nets by case study
Chao, Daniel Yuh ; 趙玉 ; Yu, Tsung Hsien ; 游宗憲
[資訊管理學系] 期刊論文
2016-08
Controllability of weakly dependent siphons under elementary-siphon control
趙玉 ; Wu, Wen Hui ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文
2016-07
Proof by model: a new knowledge-based reachability analysis methodology for Petri net
趙玉 ; 季延平 ; 游宗憲 ; 游禮志 ; 李耀中
[資訊管理學系] 期刊論文
2015-12
Enumeration of reachable (forbidden, live and deadlock) states of kth order system of Petri nets
Chao, Daniel Yuh ; 趙玉
[資訊管理學系] 期刊論文
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-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
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
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. ; 趙玉
[資訊管理學系] 期刊論文
2014-06
Improvement on `A Merging Method for the Siphon-Based FMS Maximally Permissive Controllers with Simpler Structures`
趙玉 ; Chao, Yuh
[資訊管理學系] 期刊論文
2014
Revision on `Maximally permissive deadlock prevention via an Invariant Controlled Method`
Chao, Daniel Yuh ; 趙玉
[資訊管理學系] 期刊論文
2014
Recursive solution of number of reachable states of a simple subclass of FMS
趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文
2013-08
An Integrated Approach for Supervisory Control of A Subclass of Petri Nets
Chao, Daniel Y. ; WOO, K.C . ; 趙玉
[資訊管理學系] 期刊論文
2013-04
A novel liveness condition for S3PGR2
Chao, Daniel Y. ; Chen, Jiun-Ting ; Yu, Fang ; 趙玉
[資訊管理學系] 期刊論文
2013-03
Uniform Formulas for Compound Siphons, Complementary Siphons and Characteristic Vectors in Deadlock Prevention of Flexible Manufacturing Systems
趙玉 ; Chao,Daniel Yuh
[資訊管理學系] 期刊論文
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-09
Structure of weakly 2-dependent siphons
Chao, Daniel Yuh ; Chen, Jiun-Ting ; 趙玉 ; 陳俊廷
[資訊管理學系] 期刊論文
2013-08
Control policy for a subclass of Petri nets without reachability analysis
趙玉 ; Liu, GaiYun ; Chao, Daniel Yuh ; Yu, Fang
[資訊管理學系] 期刊論文
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-01
A merging method for the siphon-based FMS maximally permissive controllers with simpler structures
Liu, G.Y. ; Chao, Daniel Yuh ; Uzam, M. ; 趙玉
[資訊管理學系] 期刊論文
2013
Controllability of weakly dependent siphons under elementary-siphon control
Chao, Daniel Yuh ; Chen, Jiun-Ting ; Huang, J.-S. ; 趙玉 ; 陳俊廷
[資訊管理學系] 期刊論文
2012-12
Maximally permissive deadlock prevention via an invariant controlled method
Liu, Gaiyun ; Chao,Daniel Y. ; Uzam, Murat ; 趙玉
[資訊管理學系] 期刊論文
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-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-02
Controllability of Weakly Dependent Control and Mixture Siphons in S3PR
趙玉 ; Hong, Liang ; Chao, Daniel Y.
[資訊管理學系] 期刊論文
2012-01
Segment theory to compute elementary siphons in Petri nets for deadlock control
趙玉 ; 陳俊廷 ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文
2012
Controllability of control and mixture weakly dependent siphons in 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
[資訊管理學系] 期刊論文
2011-05
Formal Theory of State Loss of Siphon-based Deadlock Prevention
趙玉 ; Chao, D.Y.
[資訊管理學系] 期刊論文
2011-04
Improvement of Suboptimal Siphon- and FBM-Based Control Model of a Well-Known S3PR
趙玉 ; Chao, D.Y.
[資訊管理學系] 期刊論文
2011-02
[alpha]-Siphons of a Suboptimal Control Model of a Subclass of Petri Nets
趙玉 ; Chao, Daniel Y.
[資訊管理學系] 期刊論文
2011-01
A Necessary and Sufficient Condition for the Liveness of Normal Nets
趙玉 ; Liu, GuanJun ; Jiang, ChangJun ; Chao, Daniel Y.
[資訊管理學系] 期刊論文
2011-07
Enumeration of lost states of a suboptimal control model of a well-known S3PR
Chao, Daniel Yuh ; 趙玉
[資訊管理學系] 期刊論文
2011-02
A simple modification of deadlock prevention policy of S3PR based on elementary siphons
Chao, Yuh Daniel ; 趙玉
[資訊管理學系] 期刊論文
2010-12
Sequence of Control in S3PMR
趙玉 ; Shih, Yu-Ying ; Chao, Daniel
[資訊管理學系] 期刊論文
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-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-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-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
[資訊管理學系] 期刊論文
2010-11
Minimal strict siphons extraction for S3PMR
趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文
2010
Reaching more states for control of FMS
Chao, Daniel Yuh ; 趙玉
[資訊管理學系] 期刊論文
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
[資訊管理學系] 期刊論文
2009-04
Unfolding of Multirate Data-Flow Graph to Compute Iteration Bound
趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文
2009
Revised dependent siphons
Chao, Daniel Y. ; 趙玉
[資訊管理學系] 期刊論文
2008-08
Revised dependent siphons
趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文
2008-04
Technical note—reducing mip iterations for deadlock prevention of flexible manufacturing systems
趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文
2007-09
Comments on “Deadlock prevention and avoidance in FMS: a Petri net based approach”
趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文
2007-05
Searching Strict Minimal Siphons for SNC-Based Resource Allocation Systems
趙玉 ; 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-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
Max` -Controlled Siphons for Liveness of S3PGR2
趙玉 ; Chao,Daniel Yuh
[資訊管理學系] 期刊論文
2006-12
Maximal Class of Weakly Live Ordinary Petri Nets Without Emptiable Siphons
趙玉 ; Chao,Daniel Yuh
[資訊管理學系] 期刊論文
2006-05
Computation of Elementary Siphons in Petri Nets For Deadlock Control
趙玉 ; Li,Zhiwu ; Zhou,Mengchu ; Chao,Daniel Yuh
[資訊管理學系] 期刊論文
2005-12
Reachability of Non-Synchronized Choice Petri Nets and Its Applications
趙玉 ; Chao,Daniel Yuh
[資訊管理學系] 期刊論文
2005-01
Reachability and Firing Sequences of Homogeneous Synchronized Choice Petri Nets
趙玉 ; Chao,Daniel Yuh
[資訊管理學系] 期刊論文
2004
Extended Synchronized choice Nets
趙玉 ; Jose A. Nicdao
[資訊管理學系] 期刊論文
2001
Liveness for Synchronized Choice Petri Nets
Chao, Daniel Yuh ; Jose A. Nicdao ; 趙玉
[資訊管理學系] 期刊論文
2000-05
A Fast Implementation for Recurrent DSP Scheduling Using Final Matrix
趙玉 ; Chao,Daniel Yuh
[資訊管理學系] 期刊論文
1999-07
Petri Net Synthesis and Synchronization Using Knitting Technique
趙玉 ; Chao,Daniel Yuh
[資訊管理學系] 期刊論文
1998-06
Application of a Synthesis Algorithm to Flexible Manufacturing System
趙玉
[資訊管理學系] 期刊論文
1998-05
Conversion, Iteration Bound and X-Window Implementation for Multi-Rate Data flow Graphs
趙玉
[資訊管理學系] 期刊論文
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
趙玉
[資訊管理學系] 期刊論文
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
[資訊管理學系] 期刊論文
1996-01
X-Window Implementation of an Algorithm to Synthesize Ordinary Petri Nets
趙玉 ; Chao, Daniel Yuh
[資訊管理學系] 期刊論文
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
[資訊管理學系] 期刊論文
1995-10
Knitting Technique with TP-PT Generations for Petri Net Synthesis
趙玉 ; Chao,Daniel Yuh ; Wang, D.T.
[資訊管理學系] 期刊論文
1994-02
A Synthesis Technique for General Petri Nets
趙玉 ; Chao,Daniel Yuh ; Wang,David T.
[資訊管理學系] 期刊論文
1994-01
XPN-FMS:A Modeling And Simulation Software For FMS Using Petri Nets And X WINDOW
趙玉
[資訊管理學系] 期刊論文
1994
An Interactive Tool for Design Simulation Verification and Synthesis of Protocols
Chao, Daniel Yuh ; David T. Wang ; 趙玉
[資訊管理學系] 研究報告
2002-08
國立政治大學資訊科技白皮書
陳百齡 ; 何維信 ; 林呈潢 ; 李蔡彥 ; 趙玉 ; 田瑞華
[資訊管理學系] 研究報告
2000
視覺化元件組裝工具與程式及文件產生器計畫結案報告
林我聰 ; 趙玉
[資訊管理學系] 研究報告
1999
Workflow應用導入工具之研究與實作
趙玉
[資訊管理學系] 研究報告
1998
以PETRI NET為基礎之流程定義分析元件
趙玉