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

This new edition made the textbook the first discrete mathematics textbook to be revised in order to meet the proposed new ACM/IEEE standards of the course. It features new material, including new sections on probability, coding theory, matrices and order of magnitude.

A completely updated and expanded comprehensive treatment of VHDL and its applications to the design and simulation of real, industry-standard circuits.

This comprehensive treatment of VHDL and its applications to the design and simulation of real, industry-standard circuits has been completely updated and expanded for the third edition. New features include all VHDL-2008 constructs, an extensive review of digital circuits, RTL analysis, and an unequaled collection of VHDL examples and exerci...