Approximate real-time decision making: Concepts and rough fuzzy Petri net models

Abstract

This paper considers the construction of Petri nets to simulate the computation performed by decision systems. Algorithms are given to construct Petri nets which correspond to decision rules, information systems, and real-time decision systems. Rough as well as rough fuzzy Petri net extensions of colored and generalized fuzzy Petri nets are used to create highly parallel programs to simulate reasoning system computations. Constructed nets make it possible to evaluate the design of decision system tables, and to trace computations in rules derived from decision tables. Start places of nets are connected to Dill process receptors which await input from the environment. Time consumption during the propagation of outputs from sensors in a decision system is monitored with timers called approximate time windows, which measure durations between firings of decision transitions relative to time granules with names such as early, ontime, and late. Guards on decision transitions are propositional functions which permit a rule to fire for some sensor values and not for others. In addition, the design of guards makes allowance for multivalued logic, where conditional sensor readings are assessed in terms of their degree of membership in sensor measurement granules. In some cases, a rule can fire if the degree of truth of its guard (premise) is above some threshold. Through simulation, designers can arrive at reasonable estimates of the period of timers on decision transitions. The approach to simulating computations by decision systems presented in this paper results in fast, massively parallel programs implementable on a multiprocessor. © 1999 John Wiley & Sons, Inc.