Supervision of Petri Nets

AvGeert Stremersch

Inbunden, Engelska, 2001

Del i serien International Series on Discrete Event Dynamic Systems

2 202 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Häftad

2 197 kr

E-bok

2 862 kr

Beskrivning

An up-to-date report on the status of important research topics in algebraic geometry and its applications, such as computational algebra and geometry, singularity theory algorithms, numerical solutions of polynomial systems, coding theory, communication networks, and computer vision. Contributions on more fundamental aspects of algebraic geometry include expositions related to counting points on varieties over finite fields, Mori theory, linear systems, Abelian varieties, vector bundles on singular curves, degenerations of surfaces, and mirror symmetry of Calabi-Yau manifolds.

Produktinformation

Utgivningsdatum:2001-09-30
Mått:155 x 235 x 17 mm
Vikt:494 g
Format:Inbunden
Språk:Engelska
Serie:International Series on Discrete Event Dynamic Systems
Antal sidor:198
Upplaga:2001
Förlag:Kluwer Academic Publishers
ISBN:9780792374862

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

1. The Petri Net Model.- 1 Discrete event systems.- 2 Notation.- 3 Order theoretical preliminaries.- 4 Petri net definition.- 5 Petri nets as discrete event system models.- 6 Reachable sets.- 7 Graphical representation.- 8 Reachability via subsets of transitions.- 9 Other concurrency assumptions.- 10 A general Petri net definition.- 11 Notes and references.- 2. Supervisory Control.- 1 Control goal and architecture.- 2 Formal definition.- 3 Reachable sets under supervision.- 4 Maximally permissive control laws.- 5 Specific control sets.- 6 Linear inequalities as a legal set.- 7 Control design under the no concurrency assumption.- 8 Notes and references.- 3. Uncontrollable Events And Transitions.- 1 Introduction.- 2 Supervisory control laws.- 3 Specific concurrency and control assumptions.- 4 Maximally permissive control laws.- 5 Control design.- 6 The supremal controllable subset.- 7 Notes and references.- 4. Reduction Theorems.- 1 Intuition for A*.- 2 Invariance properties of the legal set.- 3 Sets of places and transitions.- 4 Reduction result for A*.- 5 Reduction of the control design.- 6 Structural and invariance properties of the legal set.- 7 Notes and references.- 5. Acyclic Petri Nets.- 1 Partitioning of the sets of places and transitions.- 2 Structure of the incidence matrices.- 3 Reachability in acyclic Petri nets.- 4 A reachability algorithm.- 5 Acyclic Petri nets free of choice places.- 6 Construction of the supremal controllable subset.- 7 Notes and references.- 6. Decomposition Of The Control Design.- 1 Introduction.- 2 Unions of legal sets.- 3 A uxiliary results.- 4 Proof of Theorem 6.1.- 5 Discussion.- 6 Control design.- 7 Notes and references.- 7. Continuous Versus Discrete Events.- 1 Continuous Petri nets.- 2 A subset of the supremal controllable subset.- 3 Construction of the supremal controllable subset.- 4 No synchronising transitions in NAuc.- 5 No choice places in NAuc.- 6 A third class.- 7 Structure of A*.- 8 Notes and references.- 8. Structural Linear Algebraic Control Design.- 1 Unobservable events.- 2 Overview of the approach.- 3 Intersection of a linear halfspace with the first orthant.- 4 Candidate sets A??.- 5 Maximal sets A??.- 6 Reduction of controllers with disjunctions.- 7 A subset of the supremal controllable subset.- 8 Notes and references.- References.

Mer från samma författare

Discrete Event Systems

R. Boel, Geert Stremersch

Inbunden, 2000

1 104 kr

Del 569

Discrete Event Systems

R. Boel, Geert Stremersch

Häftad, 2012

1 102 kr

Discrete Event Systems

Geert Stremersch, R. Boel

E-bok

2012

1 427 kr

Mer från samma serie

Max-Plus Linear Stochastic Systems and Perturbation Analysis

Bernd F. Heidergott

Inbunden, 2006

1 818 kr

Supervisory Control of Discrete Event Systems Using Petri Nets

John O. Moody, Panos J. Antsaklis

Inbunden, 1998

1 653 kr

Timed Petri Nets

Jiacun Wang

Inbunden, 1998

2 267 kr

Object-Oriented Computer Simulation of Discrete-Event Systems

Jerzy Tyszer

Inbunden, 1999

2 606 kr

Analysis of Manufacturing Enterprises

N. Viswanadham

Inbunden, 1999

2 267 kr

Modeling, Control and Optimization of Complex Systems

Weibo Gong, Leyuan Shi, Weibo Gong, Leyuan Shi

Inbunden, 2002

1 137 kr

Del 15

Max-Plus Linear Stochastic Systems and Perturbation Analysis

Bernd F. Heidergott

Häftad, 2010

1 818 kr

Del 14

Modeling, Control and Optimization of Complex Systems

Weibo Gong, Leyuan Shi

Häftad, 2012

1 102 kr

Analysis of Manufacturing Enterprises

N. Viswanadham

Häftad, 2012

2 197 kr

Object-Oriented Computer Simulation of Discrete-Event Systems

Jerzy Tyszer

Häftad, 2012

2 525 kr

Du kanske också är intresserad av

Pokémon Pokémon Mega Evolution 05 - Pitch Black Booster

Pokémon

79 kr