PETRI NET TOOLS DATABASE
The McGowan Forum – Web 2.0 Technologies and Participatory Democracy
|
|
Petri Net Theory And The Modeling Of Systems $15.18 Petri Net Theory And The Modeling Of Systems |
|
|
Petri Nets in Flexible and Agile Automation $195 Over the past two decades, research in the theory of Petri nets and the development of graphical tools has yielded a powerful methodology. The contributions in Petri Nets in Flexible and Agile Automation present theoretical development of Petri nets as well as in industrial applications to areas such as discrete- event control design, scheduling, performance evaluation and deadlock avoidance. These contributions also include comparative studies of Petri nets and other approaches. A primary theme of this book is to provide a unified approach to the applications of Petri nets in flexible and agile automation and, in that regard, a common notation and terminology is used. The book also allows readers to evaluate the benefits and applicability of state-of-the-art Petri net methods and apply CAD tools to problems of interest. Petri Nets in Flexible and Agile Automation is not only an essential reference for researchers, it is also a very useful tool for engineers, analysts and managers who are responsible for the design, implementation and operation of the next generation of manufacturing systems. |
|
|
Petri Net Algebra $35.83 This book presents a step-by-step development of a rigorous framework for the specification and verification of concurrent systems. Petri Net Algebra takes its inspiration and methods from Process Algebra and Petri Nets, two prominent branches of concurrency theory. Added synergistic benefit is derived from combining their respective advantages.brPetri nets are treated as composable objects, and as such they are embedded in a general process algebra. On the other hand, a generic process algebra is given an automatic Petri net semantics so that net-based verification techniques, based on structural invariants and causal partial orders, can be applied to the process algebra.brThe book contains full proofs, carefully chosen examples and several possible directions for further research. A unique aspect is that the development of the Petri net algebra is handled so as to allow for further application-oriented extensions and modifications.From the reviews:pThe monograph presents a step-by step development of rigorous framework for the specification and verification of concurrent systems. a ] The book contains full proofs, carefully chosen examples and several possible directions for further research. The development of the Petri net algebra is handled in such a way that it allows for further application-oriented extensions and modifications. The book is self-contained in the sense that no previous knowledge of Petri nets and process algebras is required. (Ryszard Janicki, Mathematical Reviews, Issue 2003 g)pThis monograph combines two theories of concurrency: process algebras and Petri nets. a ] The book can serve researches and practitioners working in concurrency theory or in formalization of parallel and distributed systems. It can also be used in an advanced graduate course as a textbook or as a reference. The book contains numerous examples and exercises included in the text immediately following the relevant material. a ] it is well organized and coherent@Aê=p£×ÿ¾Úx |
|
|
Supervisory Control of Concurrent Systems: A Petri Net Structural Appr $17.59 This book is an excellent monograph that approaches, in the Petri nets context, the supervisory control of concurrent systems…[T]he theoretical concepts are applied to concrete systems and many examples accompany the algorithms and theorems presented. The very comprehensive bibliography of this book shows that the authors have a very good knowledge of this domain. a Mathematical ReviewspThe key feature of the book is that it presents the recent research in supervisory control of Petri nets in a comprehensive manner. The book is well written and self-contained. It provides the necessary background materials on discrete event systems and Petri nets. The book will be very useful to researchers in the field of supervisory control. It can also be used as a textbook for a graduate course on supervisory control and Petri nets. a IEEE Transactions on Automatic ControlpIncreasing complexity in engineering projects raises difficult challenges in industry and requires effective tools for correct-by-construction design or design verification. This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-event framework. The approach employed uses Petri nets as discrete-event models and structural methods for the synthesis of supervisors, and may lead to significant computational benefits.pHighlighting recent progress in the design of supervisors by structural methods, the book represents a novel contribution to the field. One of the main features of the presentation is the demonstration that structural methods can address a variety of supervisor specifications under diverse supervision settings.pAdditional features of the text:p* Applications of the methods presented are emphasized by considering various concurrency assumptions as well as types of system uncontrollability and unobservability.p* Treatment of the supervision problem for decentralized settings and hyb@1—=p£×ÿ¾Úx |
|
|
Database Access with Visual Basic(R) .NET $18.57 pbJeffrey P. McManus/bis a developer specializing in online application development and a popular speaker at conferences such as VBITS, VSLive, and VBConnections. He is a frequent contributor to journals and is the author of four books on database and component technologies and two books on .NET technologies, includingiVisual Basic® .NET Developer’s Guide to ASP.NET, XML, and ADO.NET/i(Addison-Wesley, 2002)./ppbJackie Goldstein/bis the president of Renaissance Computer Systems, a development and consulting company specializing in Microsoft tools and technologies. He also serves as the MSDN Regional Director for Israel and as a Subject Matter Expert for Microsoft Developer Days events. Jackie has many years of experience helping companies evaluate and integrate new technologies, and is a frequent speaker at conferences such as VSLive, TechEd, and VBITS./pbrbr0672323435AB01092003pWhether you are using WinForms, WebForms, or Web Services,ibDatabase Access with Visual Basic® .NET, Third Edition/b/i, is your practical guide to developing database applications with Visual Basic .NET and ADO.NET. The authors provide real-world solutions to the data-access issues Visual Basic .NET developers face every day and share their secrets for becoming a more effective database programmer using .NET technologies./ppThe book begins by reviewing the fundamentals of database development, Structured Query Language (SQL), and Microsoft SQL Server™ 2000. It then examines how to use the major ADO.NET objects to access data stored in relational databases. Through detailed examples, readers learn how to use properties and methods, as well as more advanced features and techniques. Extensive code listings in Visual Basic .NET illustrate each concept, while business cases apply concepts to real-world applications. The final chapters provide a solid examination of how XML and ASP.NET integrate with ADO.NET to create various types of database a@2‘ë…¸Rÿ¾Úx |