Cover ; Contents; Foreword; Preface; 1 Information Systems; 2 Business Processes and Information Systems; 3 Basic Concepts of Petri Nets; 4 Application of Petri Nets; 5 Extending Petri Nets by Adding Color and Time; 6 Colored Petri Nets; 7 Hierarchical Petri Nets; 8 Analyzing Petri Net Models; 9 Concluding Remarks; Appendix A: Solutions; Bibliography; Index
Summary
An introduction to the modeling of business information systems, with processes formally modeled using Petri nets