Research Catalog

Modeling business processes : a petri net-oriented approach

Title
Modeling business processes : a petri net-oriented approach / Wil van der Aalst and Christian Stahl.
Author
Aalst, Wil van der.
Publication
Cambridge, Mass. : MIT Press, ©2011.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextUse in library HF5548.2 .A227 2011Off-site

Details

Additional Authors
Stahl, Christian, 1978-
Description
xii, 386 p. : ill.; 24 cm.
Series Statement
Cooperative information systems
Uniform Title
Cooperative information systems
Subjects
Bibliography (note)
  • Includes bibliographical references and index.
Contents
Machine generated contents note: 1.1. Information Systems -- 1.2. Types of Information Systems -- 1.3. Life Cycle of an Information System -- 1.4. System Models -- 1.5. Roles of Models -- 1.6. Test Yourself -- 1.7. Summary -- 1.8. Further Reading -- 2.1. Relationships between Business Processes, Information Systems, and Models -- 2.2. On the Process Awareness of Information Systems -- 2.3. Tool Support for the Business Process Life Cycle -- 2.4. How about Data? -- 2.5. Test Yourself -- 2.6. Summary -- 2.7. Further Reading -- 3.1. Introduction to Petri Nets -- 3.2. Structure of Petri Nets -- 3.3. Behavior of Petri Nets -- 3.4. Representing Petri Nets as Transition Systems -- 3.5. Examples of Petri Net Models -- 3.6. Test Yourself -- 3.7. Summary -- 3.8. Further Reading -- 4.1. Two Claims about Modeling -- 4.2. Modeling with Petri Nets -- 4.3. Typical Network Structures -- 4.4. Additional Model Constructs -- 4.5. Example: Language Institute -- 4.6. Reachability Graphs -- 4.7. Test Yourself -- 4.8. Summary -- 5.1. Why Petri Nets Are Not Sufficient -- 5.2. Extending Petri Nets by Adding Color -- 5.3. Determining Place Types -- 5.4. Extending Petri Nets by Adding Time -- 5.5. Petri Nets with Color and Time -- 5.6. Test Yourself -- 5.7. Summary -- 5.8. Further Reading -- 6.1. Types and Values -- 6.2. Defining Color Sets -- 6.3. Defining Markings -- 6.4. Arc Inscriptions and Guards -- 6.5. Time -- 6.6. More on Functions -- 6.7. Examples of Colored Petri Net Models -- 6.8. Test Yourself -- 6.9. Summary -- 6.10. Further Reading -- 7.1. Hierarchical Modeling: Top-Down versus Bottom-Up Modeling -- 7.2. Informal Introduction to the Extension with Hierarchy -- 7.3. Hierarchical Colored Petri Net Models -- 7.4. Example: Production System -- 7.5. Example: Logistic Networks -- 7.6. Test Yourself -- 7.7. Summary -- 7.8. Further Reading -- 8.1. What Do We Want to Analyze? -- 8.2. Reachability Analysis -- 8.3. Structural Analysis -- 8.4. Simulation-Based Analysis -- 8.5. Process Mining -- 8.6. Tool Support -- 8.7. Test Yourself -- 8.8. Summary -- 8.9. Further Reading -- 9.1. Lessons Learned -- 9.2. Summary -- 9.3. Discussion -- A.1. Solutions to Chapter 1 -- A.2. Solutions to Chapter 2 -- A.3. Solutions to Chapter 3 -- A.4. Solutions to Chapter 4 -- A.5. Solutions to Chapter 5 -- A.6. Solutions to Chapter 6 -- A.7. Solutions to Chapter 7 -- A.8. Solutions to Chapter 8.
ISBN
  • 9780262015387
  • 0262015382
LCCN
2010036474
OCLC
  • ocn664839011
  • 664839011
  • SCSB-1608044
Owning Institutions
Princeton University Library