System Modeling and Control with Resource-Oriented Petri by MengChu Zhou, Naiqi Wu

By MengChu Zhou, Naiqi Wu

Petri nets are favourite in modeling, research, and keep an eye on of discrete occasion platforms bobbing up from production, transportation, machine and verbal exchange networks, and net carrier platforms. even if, Petri internet types for useful structures may be very huge, making it tricky to use such types to real-life problems.

System Modeling and regulate with Resource-Oriented Petri Nets introduces a brand new resource-oriented Petri web (ROPN) version that used to be built through the authors. not just does it effectively lessen version dimension, however it additionally bargains advancements that facilitate powerful modeling, research, and keep an eye on of automatic and reconfigurable production platforms.

Presenting the newest study during this novel process, this state of the art quantity offers confirmed theories and methodologies for imposing expense and time-saving advancements to modern production platforms. It offers potent instruments for impasse avoidance—deadlock-free routing and deadlock-free scheduling. The authors provide uncomplicated and complicated business production procedure examples to demonstrate time-tested techniques, theories, and ways for fixing real-life software difficulties. Written in a transparent and concise demeanour, the textual content covers purposes to computerized and reconfigurable production platforms, computerized guided car (AGV) structures, semiconductor production platforms, and versatile meeting structures.

Explaining complicated options in a fashion that's effortless to appreciate, the authors give you the knowing and instruments wanted for more beneficial modeling, research, functionality evaluate, regulate, and scheduling of engineering procedures that may result in extra versatile and effective production platforms.

Show description

Read Online or Download System Modeling and Control with Resource-Oriented Petri Nets (Automation and Control Engineering (Unnumbered)) PDF

Similar technique books

Recent developments of electrical drives: best papers from the International Conference on Electrical Machines, ICEM'04

Fresh advancements of electric units  is composed of the papers that have been offered on the XVI foreign convention on electric Machines - ICEM2004, which used to be held in Cracow, Poland on September 5-8, 2004. The contributions chosen for the publication disguise a large spectrum of idea and perform, hence they're deeply rooted in engineering difficulties, being at the same time of excessive theoretical point.

Engineering of Functional Skeletal Tissues (Topics in Bone Biology, 3)

This can be the third quantity in a chain of experiences based at the unmarried significant subject of bone alternative, discussing the biology of stem cells and telephone indications, the information had to make stem cell-engineered bone tissue a fact, and the way to avoid bone allograft an infection. necessary as a followup to its predecessors, and as a stand-alone reference, it is going to curiosity a wide viewers from orthopedists and bioengineers to dentists.

Extra resources for System Modeling and Control with Resource-Oriented Petri Nets (Automation and Control Engineering (Unnumbered))

Sample text

11b. 11b is bounded. 11 A PN for a flow shop with (a) unlimited and (b) limited release of raw parts. 1: A PN is bounded if and only if the markings related to the nodes of the converability tree do not contain the symbol w. 3 Incidence Matrix and Conservativeness A PN is said to be (partially) conservative if there exists a positive integer y(p) for every (some) place p such that the weighted sum of tokens MTy = M0Ty = a constant, for every M ∈ R(M0) and any initial marking M0. Clearly, if a PN is conservative and marked with finite tokens at M0, the PN is bounded.

Firing t1 leads to M3 = (0, w, 1)T, from which t2 can fire, and it results in M3. Firing t3 at M2 results in the old marking M2. 3. The coverability tree generation algorithm can be found in Murata (1989) and Zhou and Venkatesh (1998). For bounded PN, the reachability problem is decidable, but the complexity is exponential for a general PN. However, for some special PN, the properties can be obtained based on the special structure of the PN studied. 2. 2 Boundedness A PN is said to be k-bounded or simply bounded if the number of tokens in each place does not exceed a finite number k for any marking reachable from M0.

The coverability tree generation algorithm can be found in Murata (1989) and Zhou and Venkatesh (1998). For bounded PN, the reachability problem is decidable, but the complexity is exponential for a general PN. However, for some special PN, the properties can be obtained based on the special structure of the PN studied. 2. 2 Boundedness A PN is said to be k-bounded or simply bounded if the number of tokens in each place does not exceed a finite number k for any marking reachable from M0. It is said to be safe if it is 1-bounded.

Download PDF sample

Rated 4.97 of 5 – based on 23 votes