 |
|
 Discrete, Continuous, and Hybrid Petri Nets
Petri Nets were introduced and still successfully used to analyze and model discrete event systems especially in engineering and computer sciences such as in automatic control.
Recently this discrete Petri Nets formalism was successfully extended to continuous and hybrid systems. This monograph presents a well written and clearly... | | Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies
With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering. The core theoretical principles have been studied for many decades... | | Petri Nets: Fundamental Models, Verification and Applications
A Petri net is a mathematical representation of a network. This book first introduces the basic models including time and stochastic extensions, in particular place-transition and high level Petri nets. Their modeling and design capabilities are illustrated by a set of representations of interest in operating and communication systems. The... |
|
|
Workflow Management: Models, Methods, and Systems (Cooperative Information Systems)This book offers a comprehensive introduction to workflow management, the management of business processes with information technology. By defining, analyzing, and redesigning an organization's resources and operations, workflow management systems ensure that the right information reaches the right person or computer application at the right time.... | | Making Scorecards Actionable: Balancing Strategy and Control"The attraction of balanced scorecards is to help translate strategy into the stories, business logic and tasks that grab people's imaginations and so result in purposeful action. Yet, too often, it hasn't worked that way. In a refreshingly honest and pragmatic way, the authors analyse both the successes and failures of companies using... | | Elements of Distributed Algorithms: Modeling and Analysis with Petri NetsDistributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms. In this textbook a variety of distributed algorithms... |
|
| | Performance of Computer Communication Systems: A Model-Based ApproachPerformance of Computer Communication Systems A Model-Based Approach Boudewijn R. Haverkort Rheinisch-WestfФlische Technische Hochschule Aachen, Germany Computer communication systems and distributed systems are now able to provide an increasing range of services. As the timing requirements in the operation of these services are becoming... | | Metagraphs and Their Applications (Integrated Series in Information Systems)An important concept in the design of many information processing systems – such as transaction processing systems, decision support systems, and workflow systems – is that of a graph. In its simplest form a graph consists of a set of points (or nodes) and a set of ordered or unordered pairs of nodes (or edges). If the pairs of nodes... |
|
| Result Page: 4 3 2 1 |
