Modeling business processes : a petri net-oriented approach / Wil van der Aalst and Christian Stahl.

Format:

• Book

Author/Creator:

• Aalst, Wil van der, author.
• Stahl, Christian, 1978- author.

Series:

• Cooperative information systems

Language:

English

Subjects (All):

• Business--Data processing.
• Management information systems.
• Petri nets.

Physical Description:

1 online resource (xii, 386 pages) : illustrations.

Place of Publication:

Cambridge, Mass. : MIT Press, 2011.

System Details:

text file

Summary:

An introduction to the modeling of business information systems, with processes formally modeled using Petri nets.

Contents:

• 1 Information Systems: Introduction and Concepts 1
• 1.1 Information Systems 2
• 1.2 Types of Information Systems 5
• 1.3 The Life Cycle of an Information System 13
• 1.4 System Models 24
• 1.5 Roles of Models 32
• 1.6 Test Yourself 35
• 1.7 Summary 39
• 1.8 Further Reading 40
• 2 Business Processes and Information Systems 41
• 2.1 The Relationships between Business Processes, Information Systems, and Models 41
• 2.2 On the Process Awareness of Information Systems 45
• 2.3 Tool Support for the Business Process Life Cycle 49
• 2.4 How about Data? 56
• 2.5 Test Yourself 60
• 2.6 Summary 62
• 2.7 Further Reading 62
• 3 Basic Concepts of Petri Nets 65
• 3.1 An Introduction to Petri Nets 66
• 3.2 The Structure of Petri Nets 71
• 3.3 The Behavior of Petri Nets 73
• 3.4 Representing Petri Nets as Transition Systems 78
• 3.5 Examples of Petri Net Models 79
• 3.6 Test Yourself 84
• 3.7 Summary 89
• 3.8 Further Reading 90
• 4 Application of Petri Nets 91
• 4.1 Two Claims about Modeling 91
• 4.2 Modeling with Petri Nets 96
• 4.3 Typical Network Structures 102
• 4.4 Additional Model Constructs 106
• 4.5 Example: Language Institute 111
• 4.6 Reachability Graphs 115
• 4.7 Test Yourself 119
• 4.8 Summary 127
• 5 Extending Petri Nets by Adding Color and Time 129
• 5.1 Why Petri Nets Are Not Sufficient 129
• 5.2 Extending Petri Nets by Adding Color 134
• 5.3 Determining Place Types 147
• 5.4 Extending Petri Nets by Adding Time 150
• 5.5 Petri Nets with Color and Time 156
• 5.6 Test Yourself 159
• 5.7 Summary 166
• 5.8 Further Reading 167
• 6 Colored Petri Nets: The Language 169
• 6.1 Types and Values 170
• 6.2 Defining Color Sets 171
• 6.3 Defining Markings 174
• 6.4 Arc Inscriptions and Guards 175
• 6.5 Time 180
• 6.6 More on Functions 181
• 6.7 Examples of Colored Petri Net Models 192
• 6.8 Test Yourself 195
• 6.9 Summary 203
• 6.10 Further Reading 204
• 7 Hierarchical Petri Nets 205
• 7.1 Hierarchical Modeling: Top-Down versus Bottom-Up Modeling 205
• 7.2 Informal Introduction to the Extension with Hierarchy 208
• 7.3 Hierarchical Colored Petri Net Models 213
• 7.4 Example: Production System 220
• 7.5 Example: Logistic Networks 227
• 7.6 Test Yourself 239
• 7.7 Summary 245
• 7.8 Further Reading 246
• 8 Analyzing Petri Net Models 249
• 8.1 What Do We Want to Analyze? 250
• 8.2 Reachability Analysis 254
• 8.3 Structural Analysis 268
• 8.4 Simulation-Based Analysis 281
• 8.5 Process Mining 296
• 8.6 Tool Support 307
• 8.7 Test Yourself 310
• 8.8 Summary 319
• 8.9 Further Reading 320
• 9 Concluding Remarks 323
• 9.1 Lessons Learned 323
• 9.2 Summary 324
• 9.3 Discussion 325.

Notes:

OCLC-licensed vendor bibliographic record.

ISBN:

• 9780262322546
• 0262322544

OCLC:

892105629

Access Restriction:

Restricted for use by site license.