Dissertation > Excellent graduate degree dissertation topics show
## Research on Reachability Tree for Unbounded Petri NetsAuthor: LiYueTutor: WangShouGuang School: Zhejiang Technology and Business University Course: Signal and Information Processing Keywords: unbounded Petri net reachability tree reachability problem CLC: TP301.1 Type: Master's thesis Year: 2014 Downloads: 1 Quote: 0 Read: Download Dissertation ## Abstract
## Related Dissertations- Research and Implementation of SIP Conformance Testing Suite Based on Petri Net,TP393.04
- FLS: A Labeling Scheme to Solve the Reachability Problem of Dynamic Updating Graph,TP301.6
- Research on Formalization of UML Based on Petri Net,TP311.52
- The Deadlock Analysis for Automated Manufacturing Systems Based on Petri Nets,TP399
- Petri net reachability tree improvement and reachability determination,TP301.6
- Petri Net Supervisor Synthesis on a Class of Finite Forbidden State Specifications,TM571.6
- Petri net - based intelligent robot system deadlock detection,TP242.6
- Research on Petri Net of AUV System Modeling and Capability Analyzing,TP391.9
- A Research on Software Testing Model and Modeling Tool Based on Petri Net,TP311.52
- Research on Constraint Programming Based Petri Net’s Reachability Problem,TP301.1
- Study of TCP Protocol Based on Petri Net,TP393.04
- Research on Validity of Artifact in Business Process,TP315
- The Modeling and Implementation of the Downhole Integrated System Based on Workflow Technology,TP311.52
- Research on Property Checking for Unbounded Petri Nets Based on Reachability Trees,TP301.1
- A Solftware Design and Implementation of Petrinet Performance Analysis,TP301.1
- The Research and Implementation of Protein Classification Algorithm on the Basic of String Kernel,TP301.6
- Research on Liquidity Requirements and Efficiency in Large-value Payment Systems,TP301.6
- A Hyper-heuristic Using GRASP with Path-Relinking,TP301.6
- Research on Methods and Application on Construction of Logistics Network with Greed Technology,TP301.6
- Caching Based on Actual User Behavior,TP301.6
- Research on Modification and Application of Particle Swarm Optimization Algorithm Based on Control Methods,TP301.6
CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > General issues > Theories, methods > Automata Theory © 2012 www.DissertationTopic.Net Mobile |