Learn IT - Books tags petri

Workflow Management: Models, Methods, and Systems (Cooperative Information Systems)

MIT Press, 2002

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....

Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies

Springer, 2013

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...

Discrete-Time and Discrete-Space Dynamical Systems (Communications and Control Engineering)

Springer, 2019

Discrete-Time and Discrete-Space Dynamical Systems provides a systematic characterization of the similarities and differences of several types of discrete-time and discrete-space dynamical systems, including:

Boolean control networks;

nondeterministic finite-transition...

System Modeling and Control with Resource-Oriented Petri Nets (Automation and Control Engineering)

CRC Press, 2009

Petri nets are widely used in modeling, analysis, and control of discrete event systems arising from manufacturing, transportation, computer and communication networks, and web service systems. However, Petri net models for practical systems can be very large, making it difficult to apply such models to real-life problems.

System...

Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings

Springer, 2008

This volume consists of the proceedings of the Sixth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2008). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems. Both fundamental and practical aspects of timed...

Parameterized and Exact Computation: 5th International Symposium

Springer, 2011

The International Symposium on Parameterized and Exact Computation (IPEC, formerly IWPEC) is an international symposium series that covers research in all aspects of parameterized and exact algorithms and complexity. Started in 2004 as a biennial workshop, it became an annual event from 2008.

The four previous meetings of the...

Performance of Computer Communication Systems: A Model-Based Approach

John Wiley & Sons, 1998

Performance 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...

Making Scorecards Actionable: Balancing Strategy and Control

John Wiley & Sons, 2003

"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 Nets

Springer, 2001

Distributed 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...

Internet Based Workflow Management: Towards a Semantic Web

John Wiley & Sons, 2002

Today, an ever-expanding set of human activities, ranging from business processes to healthcare to education and research, is dependent upon the Internet. Most processes involve a workflow, the coordinated execution of multiple activities. In a given application, once the key stages of the workflow have been isolated, an infrastructure to...

Control of Discrete-Event Systems: Automata and Petri Net Perspectives

Springer, 2012

Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic notions and definitions of discrete-event systems to more recent results. Special...

Computer Performance Engineering: 6th European Performance Engineering Workshop, EPEW 2009 London

Springer, 2009

This volume of LNCS contains the proceedings of the 6th European Performance Engineering Workshop, held at Imperial College London during July 9–10, 2009. This was the first in the EPEW series to be held in the UK, following on from the highly successful workshops that were held in Toledo (2004), Versailles (2005),...

Result Page: 4 3 2 1