|
Showing 1 - 5 of
5 matches in All Departments
This book is a comprehensive, systematic survey of the synthesis
problem, and of region theory which underlies its solution,
covering the related theory, algorithms, and applications. The
authors focus on safe Petri nets and place/transition nets
(P/T-nets), treating synthesis as an automated process which, given
behavioural specifications or partial specifications of a system to
be realized, decides whether the specifications are feasible, and
then produces a Petri net realizing them exactly, or if this is not
possible produces a Petri net realizing an optimal approximation of
the specifications. In Part I the authors introduce elementary net
synthesis. In Part II they explain variations of elementary net
synthesis and the unified theory of net synthesis. The first three
chapters of Part III address the linear algebraic structure of
regions, synthesis of P/T-nets from finite initialized transition
systems, and the synthesis of unbounded P/T-nets. Finally, the last
chapter in Part III and the chapters in Part IV cover more advanced
topics and applications: P/T-net with the step firing rule,
extracting concurrency from transition systems, process discovery,
supervisory control, and the design of speed-independent circuits.
Most chapters conclude with exercises, and the book is a valuable
reference for both graduate students of computer science and
electrical engineering and researchers and engineers in this
domain.
This book is a comprehensive, systematic survey of the synthesis
problem, and of region theory which underlies its solution,
covering the related theory, algorithms, and applications. The
authors focus on safe Petri nets and place/transition nets
(P/T-nets), treating synthesis as an automated process which, given
behavioural specifications or partial specifications of a system to
be realized, decides whether the specifications are feasible, and
then produces a Petri net realizing them exactly, or if this is not
possible produces a Petri net realizing an optimal approximation of
the specifications. In Part I the authors introduce elementary net
synthesis. In Part II they explain variations of elementary net
synthesis and the unified theory of net synthesis. The first three
chapters of Part III address the linear algebraic structure of
regions, synthesis of P/T-nets from finite initialized transition
systems, and the synthesis of unbounded P/T-nets. Finally, the last
chapter in Part III and the chapters in Part IV cover more advanced
topics and applications: P/T-net with the step firing rule,
extracting concurrency from transition systems, process discovery,
supervisory control, and the design of speed-independent circuits.
Most chapters conclude with exercises, and the book is a valuable
reference for both graduate students of computer science and
electrical engineering and researchers and engineers in this
domain.
This book aims at providing a view of the current trends in the
development of research on Synthesis and Control of Discrete Event
Systems. Papers col lected in this volume are based on a selection
of talks given in June and July 2001 at two independent meetings:
the Workshop on Synthesis of Concurrent Systems, held in Newcastle
upon Tyne as a satellite event of ICATPN/ICACSD and organized by
Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory
Control of Discrete Event Systems (SCODES), held in Paris as a
satellite event of CAV and organized by B. Caillaud and X. Xie.
Synthesis is a generic term that covers all procedures aiming to
construct from specifications given as input objects matching these
specifications. The ories and applications of synthesis have been
studied and developped for long in connection with logics,
programming, automata, discrete event systems, and hardware
circuits. Logics and programming are outside the scope of this
book, whose focus is on Discrete Event Systems and Supervisory
Control. The stress today in this field is on a better
applicability of theories and algorithms to prac tical systems
design. Coping with decentralization or distribution and caring for
an efficient realization of the synthesized systems or controllers
are of the utmost importance in areas so diverse as the supervision
of embedded or man ufacturing systems, or the implementation of
protocols in software or in hard ware."
This volume contains the proceedings of the 26th International
Conference on Application and Theory of Petri Nets and Other Models
of Concurrency (ICATPN 2005). The Petri net conferences serve to
discuss yearly progress in the ?eld of Petri nets and related
models of concurrency, and to foster new -
vancesintheapplicationandtheoryofPetrinets.Theconferencestypicallyhave
100-150 participants, one third from industry and the others from
universities and research institutions, and they always take place
in the last week of June.
SuccessiveeditionsoftheconferencearecoordinatedbytheSteeringCommittee,
whose members are listed on the next page, which also supervises
several other activities-see the Petri Nets World at the
URLwww.daimi.au.dk/PetriNets. The 2005 conference was organized in
Miami by the School of Computer Science at Florida International
University (USA). We would like to express our deep thanks to the
Organizing Committee, chaired by Xudong He, for the time and e?ort
invested to the bene't of the community in making the event
successful. Several tutorials and workshops were organized within
the conf- ence, covering introductory and advanced aspects related
to Petri nets. Detailed information can be found at the conference
URLwww.cs.fiu.edu/atpn2005. We received altogether 71 submissions
from authors in 22 countries. Two submissions were not in the scope
of the conference. The Program Comm- tee selected 23 contributions
from the remaining 69 submissions, classi?ed into three categories:
application papers (6 accepted, 25 submitted), theory papers (14
accepted, 40 submitted), and tool presentations (3 accepted, 4
submitted).
This book aims at providing a view of the current trends in the
development of research on Synthesis and Control of Discrete Event
Systems. Papers col lected in this volume are based on a selection
of talks given in June and July 2001 at two independent meetings:
the Workshop on Synthesis of Concurrent Systems, held in Newcastle
upon Tyne as a satellite event of ICATPN/ICACSD and organized by
Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory
Control of Discrete Event Systems (SCODES), held in Paris as a
satellite event of CAV and organized by B. Caillaud and X. Xie.
Synthesis is a generic term that covers all procedures aiming to
construct from specifications given as input objects matching these
specifications. The ories and applications of synthesis have been
studied and developped for long in connection with logics,
programming, automata, discrete event systems, and hardware
circuits. Logics and programming are outside the scope of this
book, whose focus is on Discrete Event Systems and Supervisory
Control. The stress today in this field is on a better
applicability of theories and algorithms to prac tical systems
design. Coping with decentralization or distribution and caring for
an efficient realization of the synthesized systems or controllers
are of the utmost importance in areas so diverse as the supervision
of embedded or man ufacturing systems, or the implementation of
protocols in software or in hard ware."
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|