Modeling business processes: a Petri net-oriented approach
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass. [u.a.]
MIT Press
2011
|
| Series: | Cooperative information systems
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XII, 386 S. graph. Darst. |
| ISBN: | 9780262015387 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV039128182 | ||
| 003 | DE-604 | ||
| 005 | 20161222 | ||
| 007 | t | ||
| 008 | 110708s2011 d||| |||| 00||| eng d | ||
| 016 | 7 | |a 635475685 |2 DE-101 | |
| 020 | |a 9780262015387 |c hardcover : alk. paper |9 978-0-262-01538-7 | ||
| 035 | |a (OCoLC)712313342 | ||
| 035 | |a (DE-599)GBV635475685 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-945 |a DE-634 |a DE-522 |a DE-20 |a DE-473 |a DE-355 |a DE-M347 |a DE-N2 |a DE-384 |a DE-898 | ||
| 084 | |a QP 340 |0 (DE-625)141861: |2 rvk | ||
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 100 | 1 | |a Aalst, Wil van der |d 1966- |e Verfasser |0 (DE-588)121921115 |4 aut | |
| 245 | 1 | 0 | |a Modeling business processes |b a Petri net-oriented approach |c Wil van der Aalst and Christian Stahl |
| 264 | 1 | |a Cambridge, Mass. [u.a.] |b MIT Press |c 2011 | |
| 300 | |a XII, 386 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Cooperative information systems | |
| 650 | 0 | 7 | |a Prozessmanagement |0 (DE-588)4353072-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellierung |0 (DE-588)4170297-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Prozessmanagement |0 (DE-588)4353072-2 |D s |
| 689 | 0 | 1 | |a Modellierung |0 (DE-588)4170297-9 |D s |
| 689 | 0 | 2 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | |C b |5 DE-604 | |
| 700 | 1 | |a Stahl, Christian |d 1978- |e Sonstige |0 (DE-588)133500950 |4 oth | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024146583&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024146583 | |
Record in the Search Index
| _version_ | 1806324477849501696 |
|---|---|
| adam_text |
Titel: Modeling business processes
Autor: Aalst, Wil van^der
Jahr: 2011
Contents
Foreword ix
Preface xi
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
Appendix A: Solutions 329
A.1 Solutions to Chapter 1 329
A.2 Solutions to Chapter 2 334
A.3 Solutions to Chapter 3 335
A.4 Solutions to Chapter 4 339
A.5 Solutions to Chapter 5 347
A.6 Solutions to Chapter 6 351
A.7 Solutions to Chapter 7 359
A.8 Solutions to Chapter 8 365
Bibliography 371
Index 379 |
| any_adam_object | 1 |
| author | Aalst, Wil van der 1966- |
| author_GND | (DE-588)121921115 (DE-588)133500950 |
| author_facet | Aalst, Wil van der 1966- |
| author_role | aut |
| author_sort | Aalst, Wil van der 1966- |
| author_variant | w v d a wvd wvda |
| building | Verbundindex |
| bvnumber | BV039128182 |
| classification_rvk | QP 340 ST 132 |
| ctrlnum | (OCoLC)712313342 (DE-599)GBV635475685 |
| discipline | Informatik Wirtschaftswissenschaften |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV039128182</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20161222</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110708s2011 d||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">635475685</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262015387</subfield><subfield code="c">hardcover : alk. paper</subfield><subfield code="9">978-0-262-01538-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)712313342</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV635475685</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-945</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-N2</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-898</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QP 340</subfield><subfield code="0">(DE-625)141861:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 132</subfield><subfield code="0">(DE-625)143589:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Aalst, Wil van der</subfield><subfield code="d">1966-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121921115</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modeling business processes</subfield><subfield code="b">a Petri net-oriented approach</subfield><subfield code="c">Wil van der Aalst and Christian Stahl</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. [u.a.]</subfield><subfield code="b">MIT Press</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 386 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Cooperative information systems</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozessmanagement</subfield><subfield code="0">(DE-588)4353072-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Prozessmanagement</subfield><subfield code="0">(DE-588)4353072-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="C">b</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Stahl, Christian</subfield><subfield code="d">1978-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)133500950</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024146583&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024146583</subfield></datafield></record></collection> |
| id | DE-604.BV039128182 |
| illustrated | Illustrated |
| indexdate | 2024-08-03T00:34:21Z |
| institution | BVB |
| isbn | 9780262015387 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024146583 |
| oclc_num | 712313342 |
| open_access_boolean | |
| owner | DE-945 DE-634 DE-522 DE-20 DE-473 DE-BY-UBG DE-355 DE-BY-UBR DE-M347 DE-N2 DE-384 DE-898 DE-BY-UBR |
| owner_facet | DE-945 DE-634 DE-522 DE-20 DE-473 DE-BY-UBG DE-355 DE-BY-UBR DE-M347 DE-N2 DE-384 DE-898 DE-BY-UBR |
| physical | XII, 386 S. graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Cooperative information systems |
| spelling | Aalst, Wil van der 1966- Verfasser (DE-588)121921115 aut Modeling business processes a Petri net-oriented approach Wil van der Aalst and Christian Stahl Cambridge, Mass. [u.a.] MIT Press 2011 XII, 386 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Cooperative information systems Prozessmanagement (DE-588)4353072-2 gnd rswk-swf Petri-Netz (DE-588)4045388-1 gnd rswk-swf Modellierung (DE-588)4170297-9 gnd rswk-swf Prozessmanagement (DE-588)4353072-2 s Modellierung (DE-588)4170297-9 s Petri-Netz (DE-588)4045388-1 s b DE-604 Stahl, Christian 1978- Sonstige (DE-588)133500950 oth HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024146583&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Aalst, Wil van der 1966- Modeling business processes a Petri net-oriented approach Prozessmanagement (DE-588)4353072-2 gnd Petri-Netz (DE-588)4045388-1 gnd Modellierung (DE-588)4170297-9 gnd |
| subject_GND | (DE-588)4353072-2 (DE-588)4045388-1 (DE-588)4170297-9 |
| title | Modeling business processes a Petri net-oriented approach |
| title_auth | Modeling business processes a Petri net-oriented approach |
| title_exact_search | Modeling business processes a Petri net-oriented approach |
| title_full | Modeling business processes a Petri net-oriented approach Wil van der Aalst and Christian Stahl |
| title_fullStr | Modeling business processes a Petri net-oriented approach Wil van der Aalst and Christian Stahl |
| title_full_unstemmed | Modeling business processes a Petri net-oriented approach Wil van der Aalst and Christian Stahl |
| title_short | Modeling business processes |
| title_sort | modeling business processes a petri net oriented approach |
| title_sub | a Petri net-oriented approach |
| topic | Prozessmanagement (DE-588)4353072-2 gnd Petri-Netz (DE-588)4045388-1 gnd Modellierung (DE-588)4170297-9 gnd |
| topic_facet | Prozessmanagement Petri-Netz Modellierung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024146583&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT aalstwilvander modelingbusinessprocessesapetrinetorientedapproach AT stahlchristian modelingbusinessprocessesapetrinetorientedapproach |