Modeling Business Processes: A Petri Net-Oriented Approach

by Wil van der Aalst and Christian Stahl

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

• Format: Hardcover
• Language: English
• ISBN: 0262015382
• ISBN13: 9780262015387
• Release Date: May 2011
• Publisher: MIT Press
• Length: 400 Pages
• Weight: 1.80 lbs.
• Dimensions: 1.0" x 7.2" x 9.1"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher