An approach to formal modeling and analyzing of organization decision information systems
Yulin Yao · 2002
An approach to modeling and analyzing of the behavior of information systems by means of Petri nets is presented. The method provides a formal model which can, simply and explicitly, represent the concurrent, cyclic, asynchronously coordinated, alternative activities taking place within a complex organizational information system. It is also able to represent quantitative (temporal) information and to give the results of the system performance in terms of time. A simple ticket reservation procedure is examined to demonstrate the suitability and ease use of the method.>