Business process modeling is an important tool in the design and creation of information systems that deliver business value. Business processes often require the exchange of information across departmental boundaries. However, this fact has received relatively little attention and, as a result, many of the tools that have been developed for business process modeling do not allow analysts to easily model such business transactions. This paper describes a case study conducted to model business processes that crossed departmental boundaries in the department of university housing of Georgia Southern University, and shows that such processes can be naturally represented in Petri nets.
展开▼