Discovery of Asynchronous Concurrent Models from Experimental Tables

Issue title: International Conference on Soft Computing and Distributed Processing (SCDP'2002)

Article type: Research Article

Authors: Pancerz, Krzysztof | Suraj, Zbigniew

Affiliations: Computer Science Foundations, University of Information Technology and Management, Sucharskiego 2, 35-225 Rzeszów, Poland

Abstract: The synthesis problem of concurrent systems has earlier been discussed in the literature using different types of formalisms. This paper presents a new method for discovery of asynchronous concurrent models from experimental tables by using a rough set approach. The proposed method can be applied to the automatic data model discovery. The algorithm for constructing asynchronous concurrent models is described in detail. As a model for concurrency the Coloured Petri Nets are used. Constructed asynchronous models can be helpful to solving some problems arising in design of asynchronous digital systems or addressing of nodes in parallel systems. An example illustrates an application of the proposed approach in such problems.

Keywords: information systems, rough sets, concurrency, asynchronous models, Coloured Petri Nets

Journal: Fundamenta Informaticae, vol. 61, no. 2, pp. 97-116, 2004