Restriction-Based Concurrent System Design Using the Rough Set Formalism

Authors:
Zbigniew Suraj;Krzysztof Pancerz
Affiliations:
Chair of Computer Science Foundations, University of Information Technology and Management, Sucharskiego Str. 2, 35-225 Rzeszów, Poland. E-mail: zsuraj,kpancerz@wsiz.rzeszow.pl;Chair of Computer Science Foundations, University of Information Technology and Management, Sucharskiego Str. 2, 35-225 Rzeszów, Poland. E-mail: zsuraj,kpancerz@wsiz.rzeszow.pl
Venue:
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Year:
2005

Citing 4
Cited 0

Models for concurrency

Handbook of logic in computer science (vol. 4)
Rough set methods for the synthesis and analysis of concurrent processes

Rough set methods and applications
Modeling a Solution for a Control Problem in Distributed Systems by Restrictions

Proceedings of the International Sympoisum on Semantics of Concurrent Computation
Discovering Concurrent Models from Data Tables with the ROSECON System

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Abstract. Design of concurrent systems under various constraints is an important problem in reallife applications in many domains (for example, automatics, robotics, software engineering) and has earlier been discussed in the literature using different formalisms. In this paper some approaches to the concurrent system design based on restrictions will be considered. In our approaches, we will use the rough set formalism. The coloured Petri nets (CP-nets) will be used to model designed concurrent systems.