检索结果-南通市图书馆

Polynomial Approach to Optimal One-wafer Cyclic Scheduling of Treelike Hybrid Multi-Cluster Tools via petri nets

在线全文

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2018年第1期5卷 270-280页

作者： Fajun Yang Naiqi Wu Yan Qiao Rong Su Department of Industrial Engineering School of Electro-Mechanical Engineering Guangdong University of Technology Guangzhou 510006 China School of Electrical and Electronic Engineering at Nanyang Technological University 639798 Singapore Institute of Systems Engineering Macao University of Science and Technology Taipa Macao 999078 China school of Electro-Mechanical Engineering Guangdong University of Technology Guangzhou 510006 China IEEE

A treelike hybrid multi-cluster tool is composed of both single-arm and dual-arm cluster tools with a treelike topology. Scheduling such a tool is challenging. For a hybrid treelike multi-cluster tool whose bottleneck individual tool is process-bound, this work aims at finding its optimal one-wafer cyclic schedule. It is modeled with petri nets such that a onewafer cyclic schedule is parameterized as its robots' waiting *** on the model, this work proves the existence of its onewafer cyclic schedule that features with the ease of industrial implementation. Then, computationally efficient algorithms are proposed to find the minimal cycle time and optimal onewafer cyclic schedule. Multi-cluster tool examples are given to illustrate the proposed approach. The use of the found schedules enables industrial multi-cluster tools to operate with their highest productivity.

关键词： Multi-cluster tool petri nets scheduling semiconductor manufacturing

Detecting Data-flow Errors Based on petri nets With Data Operations

在线全文

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2018年第1期5卷 251-260页

作者： Dongming Xiang Guanjun Liu Chungang Yan Changjun Jiang Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China IEEE

In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so on. However, there are not too many methods for detecting data-flow errors. This paper defines petri nets with data operations(PN-DO) that can model the operations on data such as read, write and delete. Based on PN-DO, we define some data-flow errors in this paper. We construct a reachability graph with data operations for each PN-DO, and then propose a method to reduce the reachability graph. Based on the reduced reachability graph, data-flow errors can be detected rapidly. A case study is given to illustrate the effectiveness of our methods.

关键词： Business process modeling data-flow errors petri nets reachability graph

Liveness Problem of petri nets Supervisory Control Theory for Discrete Event Systems

在线全文

学校读者我要写书评

暂无评论

自动化学报 2005年第1期31卷 143-150页

作者： Hong-Ye SU Wei-Min WU Jian CHU (National Laboratory of Industrial Control Technology & Institute of Advanced Process Control, Zhejiang University, Hangzhou 310027 P.R.China) Zhejiang University National Laboratory of Industrial Control Technology & Institute of Advanced Process Control 浙江 Hangzhou 310027

A quite great progress of the supervisory control theory for discrete event systems (DES) has been made in the past nearly twenty years, and now, automata, formal language and petri nets become the main research tools. This paper focus on the petri nets based supervisory control theory of DES. Firstly, we review the research results in this field, and claim that there generally exists a problem in petri nets based supervisory control theory of DES, that is, the deadlock caused by the controller introduced to enforce the given specification occurs in the closed-loop systems, especially the deadlock occurs in the closed-loop system in which the original plant is live. Finally, a possible research direction is presented for the solution of this problem.

关键词： Discrete event systems supervisory control petri nets Hveness

An Improved Approach to Test Diagnosability of Bounded petri nets

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2017年第2期4卷 297-303页

作者： Ning Ran Hongye Su Shouguang Wang State Laboratory of Industrial Control Technology Institute of Cyber-Systems and ControlZhejiang UniversityYuquan Campus IEEE School of Information & Electronic Engineering Zhejiang Gongshang University

For bounded petri nets, Cabasino et al. propose a diagnosability test method that is based on the analysis of a modified basis reachability graph and a basis reachability diagnoser. However, its complexity is exponential in the number of nodes of the basis reachability diagnoser. In order to reduce the complexity of their method, this paper presents a new diagnosability test approach for bounded petri nets. We present the concept of an extended basis reachability graph and prove that our approach is of polynomial complexity in the number of nodes of extended basis reachability graphs. An example is given to illustrate the application of the presented approach.

关键词： Diagnosability discrete event systems(DES) fault diagnosis petri nets

Boundedness and liveness enforcement for labeled petri nets using transition priority

在线全文

学校读者我要写书评

暂无评论

Journal of Electronic Science and Technology 2023年第4期21卷 75-90页

作者： Ye-Jia Liu Xun-Bo Li School of Mechanical and Electrical Engineering University of Electronic Science and Technology of ChinaChengdu611731China

This paper deals with the supervisory control problem of discrete event systems modeled by labeled petri nets. The system is originally unbounded. First, the solvability of the problem is confirmed. A necessary condition is given and proven for the existence of a feasible priority-based controller based on the notions of liveness and transition invariants. Next, a cyclic behavior graph is constructed, which shows the reachable markings that guarantee the maximum liveness of the system within a given bound vector. Finally, an on-line control strategy is proposed to enforce boundedness and liveness to the given system by appending priority relations to transitions. The dynamic priority relation changes flexibly according to the current state of the system and enforces the system evolving in a bounded and live manner. In addition, numerical examples are studied to verify the validity of the proposed approach that remains the structure of the plant net and is efficient for on-line control.

关键词： Boundedness Control strategy Liveness petri nets Priority Transition invariant

Modeling for parallel scheduling and performance evaluation of MANET using stochastic petri nets

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2004年第4期15卷 553-558页

作者： XuWenchao JiaShilou CommunicationResearchCenter HarbinInstituteoftechnologyHarbin150001P.R.China

In this paper, petri nets technique is introduced into mobile ad hoc networks (MANET) and a packet-flow parallel scheduling scheme is presented using Stochastic petri nets (SPN). The flowing of tokens is used in graphics mode to characterize dynamical features of sharing a single wireless channel. Through SPN reachability analysis and isomorphic continuous time Markov process equations, some network parameters, such as channel efficiency and, one-hop transmission delay, can be obtained. Compared with Those of The conventional performance evaluation methods, the above parameters are mathematical expressions instead of test results from simulator.

关键词： Mobile ad hoc networks Mathematical model Delay Markov processes petri nets Equations

Serial Failure Diagnosis of a Transmission Line Protection Relaying System by petri nets

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2001年第1期12卷 59-64页

作者： Zhang Zhiming Wang Yue Tao Ran &Zhou Siyong Dept. of Electronics Engineering, Beijing Institute of Technology, 100081, P. R. China Dept. of Electronics Engineering Beijing Institute of Technology 100081 P. R. China

With the development of large-scale complicated modern power systems, the requirement for the associated protection scheme tends to be more stringent and its combination more complex. However, it is very difficult to figure out the factors of failure of such systems. This paper proposes a petri net model of a transmission line protection relaying system, including three types of relays as well as an automatic reclosing device, and shows how to diagnose serial failure of the system by analyzing invariant sets of the model. Furthermore, it gives four basic types of failure sequences and its execution is much more intuitive and effective than the traditional method.

关键词： Electric fault location Electric power system protection Electric relays Failure analysis Mathematical models petri nets Relay protection

Mobile businessprocess modelingusinghigh level petri nets

在线全文

学校读者我要写书评

暂无评论

Journal of Beijing Institute of Technology 2014年第3期23卷 368-374页

作者：车海莺高慧颖鞠彦兵 School of Software Beijing Institute of Technology School of Management and Economics Beijing Institute of Technology

This paper aims at providing an effective modeling methods for more and more mobile business applications. First a high level petri nets method-Xml nets is introduced, which combines the advantage of petri nets and XML. petri nets have strict mathematics and intuitionistic diagram ex- pression way, rich system describing means and system behavior analytical technology, and the re- lated powerful supporting tools. XML, as an extensible markup language, is already a information description de facto standard. XML nets could be utilized to model both the controlling flow and the data flow of mobile business process effectively, which consequently enables the analysis and optimi- zation of the mobile business processes and could be utilized to simulate the execution of the mobile business process with the petri nets tools to improve the system execution efficiency. In this paper, to demonstrate the modeling of the controlling flow and data flow of mobile business process, an in- strument repair business case is modeled with XML nets.

关键词： mobile business process modeling petri nets XML nets instrument business process

petri nets semantics ofπ-calculus

在线全文

学校读者我要写书评

暂无评论

Frontiers of Electrical and Electronic Engineering in China 2008年第3期3卷 290-294页

作者： Zhenhua YU Yuanli CAI Haiping XU School of Electronic and Information Engineering Xi’an Jiaotong UniversityXi’an 710049China The 205th Institute of China Ordnance Industry Corporation Group Xi’an 710065China Department of Computer and Information Science University of Massachusetts DartmouthNorth DartmouthMA 02747USA

As π-calculus based on the interleaving semantics cannot depict the true concurrency and has few supporting tools,it is translated into petri nets.π-calculus is divided into basic elements,sequence,concurrency,choice and recursive *** modules are translated into petri nets to construct a complicated *** nets semantics for π-calculus visualize system structure as well as system *** structural analysis techniques allow direct qualitative analysis of the system properties on the structure of the ***,petri nets semantics for π-calculus are illustrated by applying them to mobile telephone systems.

关键词： petri nets π-calculus concurrency structual characteristics analysis