In: 93, Warsaw University of Technology: Institute of Computer Science Research Report 4. 1993.
Abstract: In the paper we treat information systems as a tool for specification of concurrent systems. We present an algorithm for constructing from an arbitrary information system S its concurrent model in the form a marked Petri net (Ns, Ms) with the following property: the reachability set R(Ns, Ms) corresponds exaxtly to the set of all global states consistent with all decision rules valid in S (and having examples in S). The set R(Ns, Ms) represents the largest consistent, with the knowledge represented by S, extension of S. In our approach we use a modification of the processes independence definition. Our results seem to have some value for methods of information systems decomposition and for real-time state identifications.