政大機構典藏-National Chengchi University Institutional Repository(NCCUR):作者相关文件
English  |  正體中文  |  简体中文  |  Post-Print筆數 : 27 |  全文笔数/总笔数 : 113148/144119 (79%)
造访人次 : 50707253      在线人数 : 386
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
搜寻范围 查询小技巧：
  • 您可在西文检索词汇前后加上"双引号"，以获取较精准的检索结果
  • 若欲以作者姓名搜寻，建议至进阶搜寻限定作者字段，可获得较完整数据
    •  进阶搜寻

    类别浏览

    正在载入社群分类, 请稍候....

    年代浏览

    正在载入年代分类, 请稍候....

    "D.Y. Chao"的相关文件  

    回到依作者浏览

    显示 158 项.

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

    著作權政策宣告 Copyright Announcement
    1.本網站之數位內容為國立政治大學所收錄之機構典藏，無償提供學術研究與公眾教育等公益性使用，惟仍請適度，合理使用本網站之內容，以尊重著作權人之權益。商業上之利用，則請先取得著作權人之授權。
    The digital content of this website is part of National Chengchi University Institutional Repository. It provides free access to academic research and public education for non-commercial use. Please utilize it in a proper and reasonable manner and respect the rights of copyright owners. For commercial use, please obtain authorization from the copyright owner in advance.

    2.本網站之製作，已盡力防止侵害著作權人之權益，如仍發現本網站之數位內容有侵害著作權人權益情事者，請權利人通知本網站維護人員(nccur@nccu.edu.tw)，維護人員將立即採取移除該數位著作等補救措施。
    NCCU Institutional Repository is made to protect the interests of copyright owners. If you believe that any material on the website infringes copyright, please contact our staff(nccur@nccu.edu.tw). We will remove the work from the repository and investigate your claim.
    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - 回馈