Text

Modeling Business Processes: A Petri Net-Oriented Approach

---

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

This comprehensive introduction to modeling business-information systems focuses on business processes. It describes and demonstrates the formal modeling of processes in terms of Petri nets, using a well-established theory for capturing and analyzing models with concurrency. The precise semantics of this formal method offers a distinct advantage for modeling processes over the industrial modeling languages found in other books on the subject. Moreover, the simplicity and expressiveness of the Petri nets concept make it an ideal language for explaining foundational concepts and constructing exercises. After an overview of business information systems, the book introduces the modeling of processes in terms of classical Petri nets. This is then extended with data, time, and hierarchy to model all aspects of a process. Finally, the book explores analysis of Petri net models to detect design flaws and errors in the design process. The text, accessible to a broad audience of professionals and students, keeps technicalities to a minimum and offers numerous examples to illustrate the concepts covered. Exercises at different levels of difficulty make the book ideal for independent study or classroom use.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

-

Publisher

Cambridge : The MIT Press., 2011

Collation

-

Language

English

ISBN/ISSN

9780262322546

Classification

NONE

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

-

Specific Detail Info

-

Statement of Responsibility

Wil M.P. van der Aalst, Christian Stahl

Other Information

Cataloger

jemadi

Source

-

Validator

-

Digital Object Identifier (DOI)

https://doi.org/10.7551/mitpress/8811.001.0001

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment