Modeling business processes : a Petri net-oriented approach

Research output: Book/ReportBookAcademic

Abstract

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.
LanguageEnglish
Place of PublicationCambridge MA
PublisherMIT Press
Number of pages400
ISBN (Electronic)9780262296465
ISBN (Print)978-0-262-01538-7
StatePublished - 2011

Publication series

NameInformation Systems
PublisherMIT Press

Fingerprint

Business Process Modeling
Petri Nets
Exercise
Information Systems
Formal Modeling
Formal Methods
Expressiveness
Process Modeling
Modeling Language
Concurrency
Modeling
Business Process
Design Process
Simplicity
Model
Distinct
Demonstrate
Concepts
Business

Cite this

Aalst, van der, W. M. P., & Stahl, C. (2011). Modeling business processes : a Petri net-oriented approach. (Information Systems). Cambridge MA: MIT Press.
Aalst, van der, W.M.P. ; Stahl, C./ Modeling business processes : a Petri net-oriented approach. Cambridge MA : MIT Press, 2011. 400 p. (Information Systems).
@book{065dbc92d1024bb084889d11061faa99,
title = "Modeling business processes : a Petri net-oriented approach",
abstract = "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.",
author = "{Aalst, van der}, W.M.P. and C. Stahl",
year = "2011",
language = "English",
isbn = "978-0-262-01538-7",
series = "Information Systems",
publisher = "MIT Press",

}

Aalst, van der, WMP & Stahl, C 2011, Modeling business processes : a Petri net-oriented approach. Information Systems, MIT Press, Cambridge MA.

Modeling business processes : a Petri net-oriented approach. / Aalst, van der, W.M.P.; Stahl, C.

Cambridge MA : MIT Press, 2011. 400 p. (Information Systems).

Research output: Book/ReportBookAcademic

TY - BOOK

T1 - Modeling business processes : a Petri net-oriented approach

AU - Aalst, van der,W.M.P.

AU - Stahl,C.

PY - 2011

Y1 - 2011

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

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

M3 - Book

SN - 978-0-262-01538-7

T3 - Information Systems

BT - Modeling business processes : a Petri net-oriented approach

PB - MIT Press

CY - Cambridge MA

ER -

Aalst, van der WMP, Stahl C. Modeling business processes : a Petri net-oriented approach. Cambridge MA: MIT Press, 2011. 400 p. (Information Systems).