Raftul cu initiativa Book Archive

Machine Theory

Supervision of Petri Nets by Geert Stremersch (auth.)

By Geert Stremersch (auth.)

Supervision of Petri Nets offers supervisory regulate conception for Petri nets with a criminal set because the regulate aim. Petri nets version discrete occasion platforms - dynamic platforms whose evolution is totally decided by means of the prevalence of discrete occasions. keep watch over legislation, which be sure that the method meets a suite of necessities within the presence of uncontrollable and unobservable occasions, are studied and built, utilizing program parts resembling computerized production and transportation platforms.
Supervision of Petri Nets introduces a brand new and mathematically sound method of the topic. current effects are unified through featuring a basic mathematical language that makes large use of order theoretical principles, and diverse new effects are defined, together with ready-to-use algorithms that build supervisory keep watch over legislation for Petri nets.
Supervision of Petri Nets is a superb reference for researchers, and should even be used as a supplementary textual content for complicated classes on regulate theory.

Show description

Read or Download Supervision of Petri Nets PDF

Similar machine theory books

Digital and Discrete Geometry: Theory and Algorithms

This booklet presents finished assurance of the trendy equipment for geometric difficulties within the computing sciences. It additionally covers concurrent subject matters in info sciences together with geometric processing, manifold studying, Google seek, cloud information, and R-tree for instant networks and BigData. the writer investigates electronic geometry and its comparable positive tools in discrete geometry, supplying distinctive tools and algorithms.

Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

This booklet constitutes the refereed lawsuits of the twelfth foreign convention on synthetic Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 complete papers offered including 2 invited papers have been conscientiously reviewed and chosen from 22 submissions.

Statistical Language and Speech Processing: Third International Conference, SLSP 2015, Budapest, Hungary, November 24-26, 2015, Proceedings

This booklet constitutes the refereed lawsuits of the 3rd foreign convention on Statistical Language and Speech Processing, SLSP 2015, held in Budapest, Hungary, in November 2015. The 26 complete papers provided including invited talks have been conscientiously reviewed and chosen from seventy one submissions.

Extra resources for Supervision of Petri Nets

Sample text

30) as the state m evolves. The above reasoning can be repeated for each m' E Rl,n((m, m). With m' = m+F8 we obtain for the last component of the new extended state m' that m~+l = b- AT m' = b- AT(m + F8) = (b - AT m) - ATF8. rTF] o. 31) Define the vector B+ such that B+,T := B-,T - ATF. 27) that Bt = max(-(ATF)i,O) for i = 1, ... ,m. Hence, B+ E f;F. 4. Closed-loop system of the Petri net model of the railway example together with a maximally permissive supervisor which guarantees that the number of trains within Zone 5 is not greater than one.

On the other hand, p. is the set of transitions t for which the graph contains an arc from p to t. Analogously for ~ and t· with t E T. Note that p E "t t E p. p ¢:} pEt·. 6 the enabling condition m m(p) ~ L f-(P, t)o(t) ~ F- 0 can be written as: (p E P). 11) tEp· This is because f- (p, t) = 0 for all t E P \ p •. With a similar argument the state equation m' = m + Fo can be brought into the form m'(p) = m(p) +L tEap f+(t,p)o(t) - L f-(P, t)o(t) (p E P). tEp· Both of these alternative formulations are useful.

17) are proven by induction. Suppose that (61, ... e. 18) we find that m~_i(p) - mi-i(p) = m~(p) - mo(p) So, with m'I"T' ~ and m' = m~) for p E -r'. ml"T" we have for p E rr' that (recall that m = mo L m~_i(p) ~ mi-i(P) ~ j-(p,t)6i(t). 11 that Oi E ~mi' 9. ~mi-1' Consequently, we obtain 0 Other concurrency assumptions So far we have used the transition bag assumption. The collections of events which can occur simultaneously can contain any number of events any number of times. 2). In many applications the transition bag assumption is not realistic.

Download PDF sample

Rated 4.07 of 5 – based on 5 votes