Discovery of Asynchronous Concurrent Models from Experimental Tables

Authors:
Krzysztof Pancerz;Zbigniew Suraj
Affiliations:
Computer Science Foundations, University of Information Technology and Management, Sucharskiego 2, 35-225 Rzeszów, Poland;Computer Science Foundations, University of Information Technology and Management, Sucharskiego 2, 35-225 Rzeszów, Poland
Venue:
Fundamenta Informaticae - International Conference on Soft Computing and Distributed Processing (SCDP'2002)
Year:
2003

Citing 10
Cited 1

Petri nets: an introduction

Petri nets: an introduction
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2

Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
A parallel algorithm for real-time decision making: a rough set approach

Journal of Intelligent Information Systems
Discovery of concurrent data models from experimental tables: a rough set approach

Fundamenta Informaticae - Special issue: to the memory of Prof. Helena Rasiowa
An application of rough set methods in control design

Fundamenta Informaticae - Special issue on Concurrency specification and programming (CS&P)
Rough set methods for the synthesis and analysis of concurrent processes

Rough set methods and applications
Rough Sets: Theoretical Aspects of Reasoning about Data

Rough Sets: Theoretical Aspects of Reasoning about Data
A New Method for Determining of Extensions and Restrictions of Information Systems

TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
An Introduction to the Theoretical Aspects of Coloured Petri Nets

A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Synthesis of Petri net models: a rough set approach

Fundamenta Informaticae - Concurrency specification and programming

Hierarchical Classifiers for Complex Spatio-temporal Concepts

Transactions on Rough Sets IX

Quantified Score

Hi-index	0.00

Visualization

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.