@TECHREPORT { Rsds2279,
author = {Skowron, Andrzej and Suraj, Zbigniew}, 
title = {Synthesis of Concurrent Systems Specified by Information Systems}, 
journal = {ICS Research Report}, 
volume = 39/94, 
pages = {1--38}, 
publisher = {Institute of Computer Science, Warsaw University of Technology}, 
address = {Warsaw, Poland}, 
year = 1994, 
note = {Improved and extended version of ICS Research Reports 4/93 and 38/93}, 
abstract = {In the paper we apply information systems [5] as a tool for specification of concurrent systems [6]. We present a method for constructing from an arbitrary information system S its concurrent model in the form a marked Petri net (NS,MS) [9] with the following property: the reachability set R(NS,MS) corresponds exactly 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 extension of S consistent with the knowledge represented by S. In our approach we use a modification of the process independence definition presented in [6]. Moreover, we present some applications of the method for synthesis of concurrent programs from the specification given by an information system and/or decision rules. We apply our method for examples well known in the theory of concurrency. The solutions are represented by PT-nets and SM-nets. The method allows automatically to generate an appropriate Petri net from the specification given by an information system and/or decision rules. This kind of specification can be more convenient for the designers of concurrent systems than drawing directly nets especially when they are large. The nets produced automatically by application of our method can be simplified by an application of some reduction procedures. This problem will be discussed in our next paper. We assume that the reader is familiar with the basic ideas of concurrent systems [4], Petri nets [8], [10], [25] and information systems [5]. The procedure of nets generation from information systems has been implemented as the IS2PN program in C++ language for PC computers. The solutions presented in the paper have been generated by this program. Our results seem to have some significance for methods of information systems decomposition and for real-time state identifications.}, 
keywords = {information systems, rough sets, concurrent systems, Petri nets, }, 
}