van Hee, K. M. & Valk, R. ed.
Applications and Theory of Petri Nets
Springer-Verlag 2008.8
429 pp.(P)
ISBN 3-540-68745-9
9,800円
29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings
Contents
* This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China,ﾊin June 2008.
* The 19 revised full regular papers and 4 revised tool papers presented together withﾊ5 invited papers were carefully reviewed and selected from 75 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed. *
Kleijn, J. & Yakovlev, A. ed.
Petri Nets and Other Models of Concurrency - ICATPN 2007
Springer-Verlag 2007.7
515 pp. (P)
ISBN 3-540-73093-1
13,800円
28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings
Contents
* This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, held in Siedlce, Poland, in June 2007.
* The 22 revised full papers and three revised tool papers presented together with five invited papers were carefully reviewed and selected from a total of 70 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed, in particular system design and verification, analysis, synthesis, structure and behavior of nets, net theory and relations, causality/partial order theory of concurrency, semantic Web, logical and algebraic calculi, symbolic net representation, tools for nets, experience reports and case studies, educational issues, higher-level net models, timed and stochastic nets, as well as standardization of nets. *
van der Aalst, W. M.P. ed.
Transactions on Petri Nets and Other Models of Concurrency II
Special Issue on Concurrency in Process-Aware Information Systems
Springer-Verlag 2009.4
297 pp.(P)
ISBN 3-642-00898-4
10,400円
Contents
* Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) II These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process.
* Contains: ・Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences ・Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) ・Other papers invited for publication in ToPNoC ・Papers submitted directly to ToPNoC by their authors
* The second volume of ToPNoC focuses on Concurrency in Process-Aware Information Systems. Although the topic of business process management using information technology has been addressed by consultants and software developers in depth, more fundamental approaches towards such Process-Aware Information Systems (PAISs) have been rather uncommon. *
Yoeli, M. & Kol, R.
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
John Wiley & Sons 2008.3
231 pp.(H)
ISBN 0-471-70449-0
10,600円
Contents
1. Introduction/ 2. Processes/ 3. From Digital hardware to Processes/ 4. Introducing LOTOS/ 5. Introducing Petri Nets/ 6. Introducing CCS/ 7. Verification of Modular Asynchronous Circuits/ 8. Verification of Communication Protocols/ 9. Verification of Arbiters/ 10. More Verification Case Studies/ 11. Guide to Further Studies/ References/ Index/
* This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of three powerful verification toolsets: LOTOS-based CADP, Petri nets-based PETRIFY, and CCS-based CWB. The book covers verification of modular asynchronous circuits, alternating-bit protocols, arbiters, pipeline controllers, up-down counters, and phase converters, as well as many other verification examples. *
Bonivento, C. et al.
Advances in Control Theory and Applications
Springer-Verlag 2007.4
305 pp. (P)
ISBN 3-540-70700-X
18,000円
Contents
1.Modeling and Control of Autonomous Helicopters.- 2.Efficient Quantization in the Average Consensus Problem.- 3.Human-Robot Interaction Control Using Force and Vision.- 4.A Dissipation Inequality for the Minimum Phase Property of Nonlinear Control Systems.- 5.Input Disturbance Suppression for Port-Hamiltonian Systems: an Internal Model Approach.- 6.A Systems Theory View of Petri Nets.- 7.Wireless Sensing with Power Constraints.- 8.The Important State Coordinates of a Nonlinear System.- 9.On Decentralized and Distributed Control of Partially-Observed Discrete Event Systems.- 10.A Unifying Approach to the Design of Nonlinear Output Regulators.- 11.Controller Design through Random Sampling: an Example.- 12.Digital Control of High Performance Power Supplies for a Synchrotron Light Source.- 13.Distributed PCHD-Systems, from the Lumped to the Distributed Parameter Case.- 14.Observability and the Design of Fault Tolerant Estimation Using Structural Analysis.- 15.Robust Hybrid Control Systems: an Overview of Some Recent Results/ **
* This volume is the outcome of the first CASY workshop on "Advances in Control Theory and Applications" which was held at University of Bologna on May 22-26, 2006. It consists of selected contributions by some of the invited speakers and contains recent results *
Hruz, B. & Zhou, M. C.
Modeling and Control of Discrete-Event Dynamic Systems
with petri nets and other tools
Springer-Verlag 2007.9
341 pp.(P)
ISBN 1-84628-872-X
11,800円
Contents
1. Basic Description of Discrete-event Dynamic Systems/ 2. Graphs in Modeling DEDS/ 3. Formal Languages/ 4. Control of DEDS/ 5. Finite Automata/ 6. Reactive Flow Diagrams/ 7. Petri Net Models of DEDS/ 8. Properties of Petri Nets/ 9. Grafcet/ 10. Timed and High-level Petri Nets/ 11. Statecharts/ 12. DEDS Modeling, Control and Programming/ 13. Supervisory Control/ 14. Job Scheduling/ References/ Index/
* Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation and various forms of computer and communications networking.
* Modeling and Control of Discrete-event Dynamic Systems begins with the mathematical basics required for the study of DEDs and moves on to present various tools used in their modeling and control. Among the instruments explained are many forms of Petri net, Grafcet (the sequential function chart), state charts, formal languages and max-plus algebra; all essential for control students to become proficient with DEDs and to make use of them in practical applications. In order to assist tutors with the use of this book in classes it contains fully-worked examples and end-of-chapter exercises with a pdf solutions manual available from springer.com. *
849-6 登録日 09.06.03
